Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 100 101 102 103 104 105 106 107 108 109 110 .. 5022
— 502,152 events total
2020-09-20 22:06:12 <opticblast> ah, makes sense
2020-09-20 22:06:41 <edwardk> now, back in the day it used to be that do would guide inference to figure out that the type there was the application of some m to some a, but we got them to stop doing that a looong time ago
2020-09-20 22:07:14 × drdo quits (~drdo@overlord0.drdo.eu) (Remote host closed the connection)
2020-09-20 22:08:21 → drdo joins (~drdo@overlord0.drdo.eu)
2020-09-20 22:09:05 → obihann joins (~jhann@156.34.160.69)
2020-09-20 22:10:13 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 260 seconds)
2020-09-20 22:12:08 <hyiltiz> edwardk: thx! BlockArguments seems to really clean up the verbose notation
2020-09-20 22:12:23 <hyiltiz> and I am sure it works not just work HSpec as well
2020-09-20 22:12:33 <hyiltiz> Reminds me of Ruby's blocks
2020-09-20 22:13:14 × sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 272 seconds)
2020-09-20 22:13:16 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-20 22:14:45 <edwardk> i use it more and more these days mostly because when some library messily needs to take a argument that will be very long right before some other empty list argument or something i can break things up by lines and then just use the do to self delimit _that_ argument, without having to figure out how to put the closing paren, or get all lispy with closing parens dangling on the far right of my screen
2020-09-20 22:15:27 hackage termbox-banana 0.3.0 - reactive-banana + termbox https://hackage.haskell.org/package/termbox-banana-0.3.0 (mitchellwrosen)
2020-09-20 22:15:44 <yushyin> 6
2020-09-20 22:15:50 <yushyin> ups, sorry
2020-09-20 22:17:06 → tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-09-20 22:17:55 <edwardk> it amazes me that nobody has written an ncurses variant that knows how many lines worth of text it has scrolled in and gives you control over just that portion of the screen space, so it doesn't have to flip to the alt screen and works well for repls.
2020-09-20 22:18:04 GyroW_ is now known as GyroW
2020-09-20 22:18:05 × GyroW quits (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) (Changing host)
2020-09-20 22:18:05 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-09-20 22:18:31 <edwardk> everything that works like this is some bespoke readline like monstrosity
2020-09-20 22:19:52 × thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-20 22:21:40 → mariatsji joins (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e)
2020-09-20 22:23:12 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-09-20 22:27:38 × aenesidemus quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving)
2020-09-20 22:29:56 <dolio> I think block arguments are a good idea (mostly), but characterising two extra characters as 'verbose' seems a little silly.
2020-09-20 22:30:38 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-20 22:33:08 × isovector1 quits (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) (Remote host closed the connection)
2020-09-20 22:33:16 → isovector1 joins (~isovector@d207-81-8-13.bchsia.telus.net)
2020-09-20 22:33:23 <edwardk> i mean i grumble about the extra : in :: all the time
2020-09-20 22:33:38 → ph88 joins (~ph88@2a02:8109:9e40:2704:b503:e755:2c19:955c)
2020-09-20 22:33:40 <edwardk> so who am i to begrudge someone a complaint about twice as many characters
2020-09-20 22:34:46 <yushyin> unfortunate hysterical reasons with the : vs. :: matter
2020-09-20 22:35:21 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2020-09-20 22:35:44 <Rembane> We need a Haskell dialect where the : and :: are swapped.
2020-09-20 22:35:55 <koz_> Rembane: So, Idris? :P
2020-09-20 22:36:48 <edwardk> then the laziness gets ya
2020-09-20 22:39:57 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-20 22:40:06 <Rembane> koz_: Yeah, why not? :)
2020-09-20 22:40:21 <dolio> I don't think the extra typing hurts as much as being different from the settled notation.
2020-09-20 22:40:29 <yushyin> Rembane: https://github.com/ghc-proposals/ghc-proposals/pull/118
2020-09-20 22:41:07 ski . o O ( ⌜∷⌝ )
2020-09-20 22:41:20 <Axman6> Rembane: DAML?
2020-09-20 22:42:53 × aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Ping timeout: 272 seconds)
2020-09-20 22:43:27 × mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) (Ping timeout: 260 seconds)
2020-09-20 22:43:48 → pingiun joins (~pingiun@j63019.upc-j.chello.nl)
2020-09-20 22:43:50 <Rembane> yushyin: Wow. Nice.
2020-09-20 22:44:08 <Rembane> Axman6: Dots Are More LOL?
2020-09-20 22:46:11 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-20 22:47:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-20 22:47:43 <koz_> Rembane: Dots Are More Leet.
2020-09-20 22:47:48 × isovector1 quits (~isovector@d207-81-8-13.bchsia.telus.net) (Ping timeout: 258 seconds)
2020-09-20 22:47:56 <dolio> Regardless, it's never going to be worth changing in its own right.
2020-09-20 22:48:46 <Rembane> koz_: Of course! I'm way too tired to get that on the first try.
2020-09-20 22:53:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-20 22:53:09 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 260 seconds)
2020-09-20 22:53:50 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-09-20 22:54:32 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds)
2020-09-20 22:54:39 <Axman6> @google DAML
2020-09-20 22:54:40 <lambdabot> No Result Found.
2020-09-20 22:54:45 <Axman6> uwot
2020-09-20 22:55:06 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-20 22:55:10 <MarcelineVQ> don't all mutts leak?
2020-09-20 22:55:55 <Axman6> https://daml.com - a dialect of Haskell for smart contracts, its compiler GHC with some desugaring on the front end (including : <-> ::, ples a lot of other nice extensions which make using the language day to day really nice)
2020-09-20 22:56:07 → NaN joins (43aa4b1c@c-67-170-75-28.hsd1.wa.comcast.net)
2020-09-20 22:56:31 NaN is now known as Guest39453
2020-09-20 22:56:52 <koz_> MarcelineVQ: Don't All Marsupials Lie?
2020-09-20 22:57:17 <MarcelineVQ> Driven Antelopes Must Leap
2020-09-20 22:57:30 <Guest39453> uh?
2020-09-20 22:57:42 <Axman6> this is the secret code, you are now authenticated
2020-09-20 22:58:18 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-20 22:58:48 → gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-20 22:59:11 <Guest39453> @help
2020-09-20 22:59:12 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
2020-09-20 22:59:26 <Axman6> plus*
2020-09-20 22:59:29 ski looks at Guest39453
2020-09-20 23:00:00 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-20 23:00:01 <Guest39453> just seeing if lambdabot is real
2020-09-20 23:00:49 <koz_> Lambdabot is indeed a figment of your imagination.
2020-09-20 23:00:53 <Axman6> are bits real?
2020-09-20 23:00:56 <MarcelineVQ> how can lambdabot be real if our toes aren't real
2020-09-20 23:01:11 → howdoi joins (uid224@gateway/web/irccloud.com/x-jznybxwchugeubau)
2020-09-20 23:01:29 → cosimone_ joins (~cosimone@5.170.241.4)
2020-09-20 23:03:06 <Axman6> deep
2020-09-20 23:03:17 <Axman6> but not like learning, like the ocean
2020-09-20 23:04:28 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Ping timeout: 260 seconds)
2020-09-20 23:05:17 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds)
2020-09-20 23:06:15 <orion> tomsmeding: Is a type familiy the same as a type synonym?: https://github.com/acid-state/acid-state/blob/bf1fa2466e749f91d2e3152ced15331f062e8d10/src/Data/Acid/Common.hs#L54
2020-09-20 23:06:58 <Axman6> no
2020-09-20 23:07:16 cosimone_ is now known as cosimone
2020-09-20 23:07:42 × MorrowM quits (~max@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds)
2020-09-20 23:09:30 → bahamas joins (~lucian@188.24.181.166)
2020-09-20 23:09:30 × bahamas quits (~lucian@188.24.181.166) (Changing host)
2020-09-20 23:09:30 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-20 23:10:52 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 272 seconds)
2020-09-20 23:12:56 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-20 23:13:03 → mitchellsalad joins (uid40617@gateway/web/irccloud.com/x-ahcdpvrnkonimwkz)
2020-09-20 23:14:01 → aidecoe joins (~aidecoe@unaffiliated/aidecoe)
2020-09-20 23:14:15 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 258 seconds)
2020-09-20 23:17:50 <orion> Oh, tomsmeding was talking about MethodState.
←Prev  Next→
Page 1 .. 100 101 102 103 104 105 106 107 108 109 110 .. 5022

All times are in UTC.