Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 260 261 262 263 264 265 266 267 268 269 270 .. 5022
— 502,152 events total
2020-09-27 23:02:55 <normie> interesting
2020-09-27 23:02:56 → ryantrinkle joins (~ryan@cpe-68-173-35-198.nyc.res.rr.com)
2020-09-27 23:03:32 <ski> > rootLabel Node {rootLabel = ()}
2020-09-27 23:03:35 <lambdabot> ()
2020-09-27 23:04:07 × cosimone_ quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Ping timeout: 240 seconds)
2020-09-27 23:04:30 → cosimone_ joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-27 23:04:52 <ski> % let f Node {rootLabel = r,..} = r in f Node {rootLabel = (),subForest = []}
2020-09-27 23:04:52 <yahb> ski: ()
2020-09-27 23:05:19 <normie> removed the redundant parens in the Peano Ord instance
2020-09-27 23:05:29 <normie> this channel is awesome
2020-09-27 23:05:47 <ski> oh, sorry. i missed that `data Peano = S (Peano) | Z' could be just `data Peano = S Peano | Z'
2020-09-27 23:05:49 × Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 272 seconds)
2020-09-27 23:06:32 <ski> (and i hope you know that if you have just one type class after `deriving' .. you guessed it, you don't need brackets)
2020-09-27 23:07:19 <normie> yee I'm aware of that one at least, but I usually find myself coming back to add more derivations anyway
2020-09-27 23:07:48 <normie> I think it looks cleaner and more consistent if I'm defining multiple data types with different derivations too
2020-09-27 23:08:41 <ski> mm, it's more common to want to add more `deriving' parts, than to go back later and add more constraints on a signature, i think
2020-09-27 23:08:52 <normie> looking at the BlockArguments docs right now and damn, how have I not heard of this before
2020-09-27 23:08:54 <normie> definitely!
2020-09-27 23:09:04 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 23:09:30 <ski> someone mentioned, not too long ago, using `BlockArguments' like :
2020-09-27 23:09:40 <ski> foo x y do
2020-09-27 23:09:48 × stree quits (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-09-27 23:09:55 <ski> long parameter expression ..
2020-09-27 23:10:02 <ski> .. spanning multiple lines
2020-09-27 23:10:05 → stree joins (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net)
2020-09-27 23:10:10 <ski> more parameters here
2020-09-27 23:10:38 <ski> > do "look ma, no monads !"
2020-09-27 23:10:40 <lambdabot> "look ma, no monads !"
2020-09-27 23:11:23 × cosimone_ quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-27 23:12:00 <normie> so block arguments lets you use do notation with non-monads?
2020-09-27 23:12:07 <ski> no
2020-09-27 23:12:25 <ski> that's a separate generalization that GHC does
2020-09-27 23:12:40 <ski> (not requiring `do ...' to have a type of the form `m a')
2020-09-27 23:12:43 <normie> it is cool that you can stage multiple do-blocks on the same column though
2020-09-27 23:12:56 <solonarv> ski: in fact because record update/construction binds so tightly I like to write it like this: rootLabel Node{ rootLabel = () }
2020-09-27 23:13:21 <ski> (i guess probably `.. spanning multiple lines' should actually be indented at least one more space, otherwise it'll think it's multiple commands, inside that `do'-expression)
2020-09-27 23:13:22 × machinedgod quits (~machinedg@142.169.78.168) (Ping timeout: 260 seconds)
2020-09-27 23:13:37 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-27 23:13:52 <normie> hs does significant whitespace so much better than python
2020-09-27 23:14:02 <ski> solonarv : heh, yea. i don't like that placement of spaces, really :)
2020-09-27 23:14:27 <ski> normie : you can opt out, with explicit `{',`;',`}'
2020-09-27 23:15:02 <ski> (sometimes i wonder whether some uses of `,' in Haskell would have been better as `;' (which could be implicit, when using layout))
2020-09-27 23:15:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-27 23:17:07 <ski> (also, sometimes i want to say `MkFoo { blah x = ..x.. }', but have to say `MkFoo { blah = \x -> ..x.. }'. this can be more annoying, if i want to match on the input)
2020-09-27 23:17:27 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-27 23:18:08 → mpereira joins (~mpereira@2a02:810d:f40:d96:294e:473a:4b53:edb9)
2020-09-27 23:19:32 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 23:21:48 <solonarv> ski: at least you can match on it with \case
2020-09-27 23:21:58 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-09-27 23:22:23 × mpereira quits (~mpereira@2a02:810d:f40:d96:294e:473a:4b53:edb9) (Ping timeout: 246 seconds)
2020-09-27 23:23:28 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-09-27 23:23:43 → Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-131-108.cust.tzulo.com)
2020-09-27 23:23:47 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 23:24:14 <ski> yea
2020-09-27 23:24:31 <ski> but if there's multiple parameters, then i need to use `curry' or something
2020-09-27 23:25:30 <ski> (or else nest the `\case's .. but that's not as readable. also enforces strict left-to-right matching)
2020-09-27 23:26:58 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-27 23:27:26 → pengjiz joins (~user@2601:547:901:fab0::2)
2020-09-27 23:28:11 × mmohammadi98129 quits (~mmohammad@188.210.120.20) (Ping timeout: 258 seconds)
2020-09-27 23:28:56 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-27 23:29:41 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 23:31:07 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-27 23:33:45 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 23:33:45 × jneira[m] quits (~jneira@80.30.101.206) (Read error: Connection reset by peer)
2020-09-27 23:34:12 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-27 23:35:15 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 23:35:23 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 260 seconds)
2020-09-27 23:36:42 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-27 23:38:35 → Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch)
2020-09-27 23:39:26 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-27 23:40:28 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-09-27 23:41:30 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 23:43:25 → jedws joins (~jedws@121.209.139.222)
2020-09-27 23:43:27 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 240 seconds)
2020-09-27 23:47:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-27 23:49:50 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-27 23:53:07 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-09-27 23:53:36 × Ranhir quits (~Ranhir@157.97.53.139) (Remote host closed the connection)
2020-09-28 00:00:02 × flukiluke1 quits (~flukiluke@84.39.116.180) ()
2020-09-28 00:00:02 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 00:00:16 × atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2020-09-28 00:02:20 → Ranhir joins (~Ranhir@157.97.53.139)
2020-09-28 00:02:37 → atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK)
2020-09-28 00:04:07 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-28 00:09:05 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 00:12:59 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:8ec:1161:8ce8:eb51)
2020-09-28 00:15:21 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 00:16:17 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 00:17:22 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 00:18:44 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 00:18:48 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 00:20:02 × SolarAquarion quits (SolarAquar@gateway/shell/panicbnc/x-xjpqknkqghymrgke) (Ping timeout: 260 seconds)
2020-09-28 00:20:19 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-zzdfhwhqcgnnihzq) (Quit: Connection closed for inactivity)
2020-09-28 00:20:42 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 258 seconds)
2020-09-28 00:21:57 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 00:24:20 × Klumben quits (Nsaiswatch@gateway/shell/panicbnc/x-qoebdhwirjmxvlle) (Ping timeout: 246 seconds)
2020-09-28 00:25:20 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:8ec:1161:8ce8:eb51) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 00:25:30 × xacktm quits (xacktm@gateway/shell/panicbnc/x-tsbkfnsedmgyhrsm) (Ping timeout: 244 seconds)
2020-09-28 00:28:05 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:d73:23e6:f24c:978a)
2020-09-28 00:28:35 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
←Prev  Next→
Page 1 .. 260 261 262 263 264 265 266 267 268 269 270 .. 5022

All times are in UTC.