Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-05-07 23:07:53 <monochrom> The latter is >>= and is behind do-notation and is the only way you can "pass the result of the middle ... to lastGen".
2021-05-07 23:08:19 <monochrom> The former is Control.Monad.join and has similar power, just not obvious.
2021-05-07 23:08:26 stree joins (~stree@68.36.8.116)
2021-05-07 23:08:46 justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-05-07 23:08:52 <monochrom> But note how "Gen (Gen a) -> Gen a" has the same spirit as "Gen a -> a" except actually makes sense.
2021-05-07 23:09:26 × Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 265 seconds)
2021-05-07 23:11:12 ADG1089 joins (~aditya@27.58.164.109)
2021-05-07 23:15:37 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-pcfseicosyfeggbs) (Quit: Connection closed for inactivity)
2021-05-07 23:15:43 × Synthetica quits (uid199651@gateway/web/irccloud.com/x-jfnenignxbjtugzo) (Quit: Connection closed for inactivity)
2021-05-07 23:16:49 <lyxia> has the same spirit ... except less spooky
2021-05-07 23:18:35 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-07 23:19:12 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-07 23:19:22 geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-07 23:19:45 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-07 23:20:11 Kaiepi joins (~Kaiepi@47.54.252.148)
2021-05-07 23:20:46 dolio joins (~dolio@haskell/developer/dolio)
2021-05-07 23:22:09 × proofofkeags__ quits (~proofofke@205.209.28.54) (Ping timeout: 252 seconds)
2021-05-07 23:22:41 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-07 23:23:50 × thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202)
2021-05-07 23:24:22 × jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-07 23:30:05 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-07 23:31:11 × ADG1089 quits (~aditya@27.58.164.109) (Quit: Konversation terminated!)
2021-05-07 23:31:36 <monochrom> haha
2021-05-07 23:31:41 × son0p quits (~ff@181.136.122.143) (Remote host closed the connection)
2021-05-07 23:32:12 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-07 23:37:20 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-07 23:37:39 royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-07 23:40:06 barzo joins (~sosal@31.223.55.110)
2021-05-07 23:42:31 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-07 23:48:07 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-05-07 23:48:31 <jackdk> Was there some change in how roles were handled between ghc 8.6.5 and ghc 8.8.1? I cannot build hspec-hedgehog under the former, and can on the latter: cannot match representation of tf-random:System.Random.TF.Gen.TFGen with System.Random.SplitMix.SMGen . This is in stack-land (to fix up someone else's CI), tf-random has a tiny dep footprint and the version of random hasn't changed between snapshots
2021-05-07 23:48:37 nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-07 23:48:39 ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-05-07 23:48:51 perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-05-07 23:49:38 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-05-07 23:52:52 × apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds)
2021-05-07 23:53:03 × acidjnk_new2 quits (~acidjnk@p200300d0c72b952810c296d938beffd8.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-07 23:53:18 × dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-07 23:53:54 × nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-07 23:55:00 × zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-07 23:55:21 zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-07 23:56:38 dolio joins (~dolio@haskell/developer/dolio)
2021-05-07 23:56:43 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-07 23:59:13 × carlomagno quits (~cararell@148.87.23.11) (Quit: Leaving.)
2021-05-08 00:01:22 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-08 00:01:48 nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290)
2021-05-08 00:02:24 Contessa joins (~Flechette@unaffiliated/sundancertp)
2021-05-08 00:06:29 × jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout))
2021-05-08 00:06:36 <jackdk> okay, I'm not going crazy. old hspec must use a different internal generator. *shakes fist at stackage* - this is why good bounds matter
2021-05-08 00:07:56 × xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-05-08 00:12:32 zmijunkie1 joins (~Adium@87.122.216.2)
2021-05-08 00:14:51 rogue_cheddar joins (~ilich@201.142.185.75.dsl.dyn.telnor.net)
2021-05-08 00:15:39 × zmijunkie quits (~Adium@87.122.209.149) (Ping timeout: 265 seconds)
2021-05-08 00:17:26 notzmv joins (~zmv@unaffiliated/zmv)
2021-05-08 00:22:42 bennofs__ joins (~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de)
2021-05-08 00:24:32 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
2021-05-08 00:26:38 × bennofs_ quits (~quassel@dynamic-089-012-144-143.89.12.pool.telefonica.de) (Ping timeout: 268 seconds)
2021-05-08 00:27:16 × Guest32623 quits (~textual@zrcout.mskcc.org) (Remote host closed the connection)
2021-05-08 00:30:43 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
2021-05-08 00:39:15 geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-05-08 00:40:26 Alleria joins (~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com)
2021-05-08 00:40:39 × zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-08 00:40:41 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-05-08 00:40:50 Alleria is now known as Guest63112
2021-05-08 00:42:20 × barzo quits (~sosal@31.223.55.110) (Quit: Leaving)
2021-05-08 00:42:27 ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 00:45:03 × Guest63112 quits (~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-08 00:46:33 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-05-08 00:46:47 ddellac__ joins (~ddellacos@86.106.143.57)
2021-05-08 00:47:27 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-05-08 00:47:54 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 00:48:36 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-05-08 00:50:57 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 00:55:46 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2021-05-08 00:56:20 royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 00:59:36 machinedgod joins (~machinedg@24.105.81.50)
2021-05-08 01:00:13 slack1256 joins (~slack1256@200.112.86.100)
2021-05-08 01:00:46 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-08 01:01:02 × ddellac__ quits (~ddellacos@86.106.143.57) (Remote host closed the connection)
2021-05-08 01:01:08 falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-05-08 01:03:21 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-08 01:03:28 × alx741 quits (~alx741@181.196.69.254) (Quit: alx741)
2021-05-08 01:05:12 × slack1256 quits (~slack1256@200.112.86.100) (Remote host closed the connection)
2021-05-08 01:06:20 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
2021-05-08 01:08:09 nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 01:09:26 × nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 01:09:34 × xff0x quits (~xff0x@2001:1a81:52b7:3500:20e6:b70c:2300:26bf) (Ping timeout: 245 seconds)
2021-05-08 01:10:30 nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 01:11:23 jakalx parts (~jakalx@base.jakalx.net) ()
2021-05-08 01:11:29 xff0x joins (~xff0x@2001:1a81:52ef:f00:3b4:5891:2b1:24e7)
2021-05-08 01:12:27 slack1256 joins (~slack1256@200.112.86.100)
2021-05-08 01:12:44 × whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-08 01:13:53 whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-08 01:14:19 <slack1256> https://pastebin.com/NTaVQAvR
2021-05-08 01:14:46 jakalx joins (~jakalx@base.jakalx.net)
2021-05-08 01:14:59 × nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds)
2021-05-08 01:15:04 <slack1256> How how you folks test/mock an effectful function that uses return type polymorphism?
2021-05-08 01:15:23 <slack1256> The caller is who specifies the return type.
2021-05-08 01:15:59 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 01:16:36 × stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)

All times are in UTC.