Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 665 666 667 668 669 670 671 672 673 674 675 .. 18013
— 1,801,290 events total
2021-06-26 22:01:50 <geekosaur> return is not a statement;
2021-06-26 22:02:03 <geekosaur> @undo do { return 2; return 3 }
2021-06-26 22:02:03 <lambdabot> return 2 >> return 3
2021-06-26 22:02:12 <geekosaur> the 2 is discarded
2021-06-26 22:02:13 <a6a45081-2b83> I was expecting it to inject the value in the monad
2021-06-26 22:02:19 <a6a45081-2b83> more like >>=
2021-06-26 22:02:21 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
2021-06-26 22:02:34 <a6a45081-2b83> yeah you are right
2021-06-26 22:02:39 → lavaman joins (~lavaman@98.38.249.169)
2021-06-26 22:04:06 <dsal> `return` is a confusing function and is best avoided.
2021-06-26 22:07:12 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-26 22:07:42 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
2021-06-26 22:08:27 <hpc> it's best to just rename return to something even more confusing
2021-06-26 22:08:36 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
2021-06-26 22:08:38 <hpc> foo = do {this; that; the other thing; exit();}
2021-06-26 22:08:46 <a6a45081-2b83> rofl
2021-06-26 22:09:12 <janus> > let exit() = pure
2021-06-26 22:09:13 <lambdabot> <no location info>: error: not an expression: ‘let exit() = pure’
2021-06-26 22:09:19 <hpc> @let exit = pure
2021-06-26 22:09:20 <lambdabot> Defined.
2021-06-26 22:09:25 <hpc> :t exit()
2021-06-26 22:09:26 <lambdabot> Applicative f => f ()
2021-06-26 22:09:42 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2021-06-26 22:09:51 <hpc> :t exit(1)
2021-06-26 22:09:52 <lambdabot> (Applicative f, Num a) => f a
2021-06-26 22:09:54 <hpc> :D
2021-06-26 22:10:16 <janus> maybe one could use aboriginal brackets like they do in go for generics and have it not be an unit..
2021-06-26 22:12:04 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds)
2021-06-26 22:14:31 × SoF quits (~skius@user/skius) (Quit: Ping timeout (120 seconds))
2021-06-26 22:14:50 → SoF joins (~skius@user/skius)
2021-06-26 22:15:50 × acidjnk quits (~acidjnk@p200300d0c72b9515dd29d5fa98a40466.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-06-26 22:17:44 × kayprish quits (~kayprish@46.240.143.86) (Remote host closed the connection)
2021-06-26 22:19:40 × Morrow quits (~MorrowM_@147.161.9.7) (Ping timeout: 252 seconds)
2021-06-26 22:20:05 → Morrow joins (~MorrowM_@147.161.12.168)
2021-06-26 22:22:26 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2021-06-26 22:24:32 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-26 22:24:38 × egoist quits (~egoist@186.235.82.105) (Read error: Connection reset by peer)
2021-06-26 22:25:56 × a6a45081-2b83 quits (~aditya@106.214.225.112) (Quit: Konversation terminated!)
2021-06-26 22:27:46 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-06-26 22:28:36 × derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-06-26 22:28:52 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-06-26 22:37:21 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
2021-06-26 22:37:32 → cheater joins (~Username@user/cheater)
2021-06-26 22:42:24 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
2021-06-26 22:43:49 × iridescent quits (~iridescen@41337027.cst.lightpath.net) (Quit: Client closed)
2021-06-26 22:46:38 → cheater1__ joins (~Username@user/cheater)
2021-06-26 22:47:04 × oxide quits (~lambda@user/oxide) (Quit: oxide)
2021-06-26 22:47:30 cheater1__ is now known as cheater
2021-06-26 22:47:34 → Flonk joins (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com)
2021-06-26 22:51:39 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-06-26 22:52:51 → gentauro joins (~gentauro@user/gentauro)
2021-06-26 22:54:38 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 258 seconds)
2021-06-26 22:54:45 × jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-06-26 22:58:35 × Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 265 seconds)
2021-06-26 23:01:32 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-26 23:04:14 → jlombera joins (~jlombera@187.177.181.166)
2021-06-26 23:08:54 ← jlombera parts (~jlombera@187.177.181.166) (WeeChat 3.2)
2021-06-26 23:10:15 × aplainze1akind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-06-26 23:19:15 → jlombera joins (~jlombera@187.177.181.166)
2021-06-26 23:20:19 × cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds)
2021-06-26 23:20:36 → cheater joins (~Username@user/cheater)
2021-06-26 23:22:32 → parisienne joins (sid383587@id-383587.brockwell.irccloud.com)
2021-06-26 23:23:22 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-06-26 23:23:49 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-06-26 23:24:44 → pfurla_ joins (~pfurla@216.131.83.76)
2021-06-26 23:27:43 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 244 seconds)
2021-06-26 23:28:54 → AWizzArd joins (~code@user/awizzard)
2021-06-26 23:29:22 → Feuermagier joins (~Feuermagi@user/feuermagier)
2021-06-26 23:30:00 × cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds)
2021-06-26 23:30:06 → cheater1__ joins (~Username@user/cheater)
2021-06-26 23:30:08 cheater1__ is now known as cheater
2021-06-26 23:31:49 → machinedgod joins (~machinedg@24.105.81.50)
2021-06-26 23:35:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-06-26 23:42:17 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-26 23:42:50 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-06-26 23:42:54 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5) (Ping timeout: 272 seconds)
2021-06-26 23:43:38 → cheater1__ joins (~Username@user/cheater)
2021-06-26 23:44:30 × cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds)
2021-06-26 23:44:31 cheater1__ is now known as cheater
2021-06-26 23:47:45 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-26 23:49:25 × stevenxl quits (~stevenlei@174.128.182.86) (Ping timeout: 250 seconds)
2021-06-26 23:51:31 → lavaman joins (~lavaman@98.38.249.169)
2021-06-27 00:00:43 × jlombera quits (~jlombera@187.177.181.166) (Quit: WeeChat 3.2)
2021-06-27 00:04:34 → jlombera joins (~jlombera@187.177.181.166)
2021-06-27 00:06:38 → derelict joins (~derelict@user/derelict)
2021-06-27 00:15:32 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-06-27 00:21:43 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-27 00:22:13 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-06-27 00:23:21 × dunj3 quits (~dunj3@2001:16b8:300e:4200:61ea:91d:5230:afc8) (Remote host closed the connection)
2021-06-27 00:23:30 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-27 00:24:40 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-06-27 00:25:15 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-27 00:26:30 × jlombera quits (~jlombera@187.177.181.166) (Quit: WeeChat 3.2)
2021-06-27 00:26:45 → jlombera joins (~jlombera@187.177.181.166)
2021-06-27 00:27:01 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-06-27 00:29:49 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-27 00:34:14 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
2021-06-27 00:35:24 × laguneucl quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 244 seconds)
2021-06-27 00:41:28 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-27 00:41:52 × chisui quits (~chisui@200116b864537a005c14c63c4df5fc2e.dip.versatel-1u1.de) (Ping timeout: 246 seconds)
←Prev  Next→
Page 1 .. 665 666 667 668 669 670 671 672 673 674 675 .. 18013

All times are in UTC.