Logs: freenode/#haskell
| 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.