| 2023-02-05 00:01:16 +0000 | <sm> | https://leanpub.com/production-haskell has a section on it ("17.1 On Debug.Trace"). Excellent! |
| 2023-02-05 00:02:07 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-02-05 00:02:57 +0000 | <sm> | darkling: slightly chaotic but useful trace helpers: https://hackage.haskell.org/package/hledger-lib-1.28/docs/Hledger-Utils-Debug.html |
| 2023-02-05 00:03:55 +0000 | <sm> | chaotic good |
| 2023-02-05 00:04:01 +0000 | danza | (~francesco@151.35.121.27) (Read error: Connection reset by peer) |
| 2023-02-05 00:06:45 +0000 | tessier | (~treed@98.171.210.130) (Ping timeout: 252 seconds) |
| 2023-02-05 00:07:12 +0000 | <int-e> | monochrom: actually do we know whether the pattern is dons' or dcoutts'? |
| 2023-02-05 00:07:48 +0000 | <monochrom> | Oh! I don't know, maybe dcoutts instead. |
| 2023-02-05 00:08:28 +0000 | tessier | (~treed@mobile-166-170-46-81.mycingular.net) |
| 2023-02-05 00:12:51 +0000 | opticblast | (~Thunderbi@172.58.84.5) |
| 2023-02-05 00:12:54 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 00:20:38 +0000 | danza | (~francesco@ge-19-98-82.service.infuturo.it) |
| 2023-02-05 00:22:38 +0000 | thongpv | (~thongpv87@2402:9d80:3bd:3161:2cf6:60a:386f:8e18) |
| 2023-02-05 00:26:26 +0000 | mvk | (~mvk@2607:fea8:5caa:ac00::f944) |
| 2023-02-05 00:26:31 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-02-05 00:26:55 +0000 | bhall | (~brunohall@212-8-253-140.hosted-by-worldstream.net) (Ping timeout: 252 seconds) |
| 2023-02-05 00:27:11 +0000 | tessier | (~treed@mobile-166-170-46-81.mycingular.net) (Ping timeout: 248 seconds) |
| 2023-02-05 00:27:34 +0000 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-05 00:38:35 +0000 | enthropy | (~enthropy@66.7.90.250) |
| 2023-02-05 00:43:11 +0000 | acidjnk | (~acidjnk@p200300d6e715c402e54e919fb479e010.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-02-05 00:45:39 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 00:54:31 +0000 | <Hammdist> | data Thing = Thing [Thing] how do I derive Arbitrary for it |
| 2023-02-05 00:54:46 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-05 00:54:47 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-05 00:54:47 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 00:55:40 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-05 00:59:20 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds) |
| 2023-02-05 01:03:15 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-02-05 01:09:03 +0000 | czy | (~user@host-140-28.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-02-05 01:10:31 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-02-05 01:10:52 +0000 | <Hammdist> | looks like arbitrary = Thing <$> arbitrary works |
| 2023-02-05 01:13:27 +0000 | tessier | (~treed@mobile-166-170-47-178.mycingular.net) |
| 2023-02-05 01:13:47 +0000 | <Hammdist> | https://paste.ee/p/4NRL5 two questions (A) why does the input string to ptwr sometimes end in ")" and (B) why does quickcheck hang? |
| 2023-02-05 01:15:13 +0000 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) |
| 2023-02-05 01:16:20 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-02-05 01:16:38 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-05 01:19:13 +0000 | enthropy | (~enthropy@66.7.90.250) (Ping timeout: 260 seconds) |
| 2023-02-05 01:22:19 +0000 | <Hammdist> | it seems the extra ")" can be eliminated by passing s through show |
| 2023-02-05 01:22:29 +0000 | <Hammdist> | not sure what that's about though |
| 2023-02-05 01:22:44 +0000 | <Hammdist> | the hanging might be due to generation of excessively large things |
| 2023-02-05 01:23:29 +0000 | <geekosaur> | monochrom has a story there, yes |
| 2023-02-05 01:24:10 +0000 | nunggu_ | (~q@user/nunggu) (Remote host closed the connection) |
| 2023-02-05 01:24:10 +0000 | <geekosaur> | there's a decent chance that it's doing 50/50 on choice of building your tree nodes, which if you do the math leads to infinite trees |
| 2023-02-05 01:26:22 +0000 | nunggu_ | (~q@user/nunggu) |
| 2023-02-05 01:26:38 +0000 | <Hammdist> | at this point I'm not sure quickcheck is saving any time over just writing up some test cases |
| 2023-02-05 01:27:46 +0000 | <sm> | 👍️ |
| 2023-02-05 01:28:53 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 2023-02-05 01:30:28 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-02-05 01:34:13 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 01:38:33 +0000 | <c_wraith> | I found myself using quickcheck in a way I don't see anyone else talk about. When I was testing a data structure, instead of generating values of the structure with it, I generated sequences of modifications. Then I'd test to ensure that all required properties held after each modification. |
| 2023-02-05 01:39:03 +0000 | <c_wraith> | But the core part of it was that I wasn't generating the data structure itself |
| 2023-02-05 01:40:31 +0000 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2023-02-05 01:45:25 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-05 01:46:31 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 252 seconds) |
| 2023-02-05 01:48:39 +0000 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 01:51:16 +0000 | <sm> | also note quickcheck has multiple competitors which claim to be easier to use in some ways |
| 2023-02-05 01:51:16 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 01:56:54 +0000 | mvk | (~mvk@2607:fea8:5caa:ac00::f944) (Quit: Going elsewhere) |
| 2023-02-05 02:04:11 +0000 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) |
| 2023-02-05 02:06:20 +0000 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) (Client Quit) |
| 2023-02-05 02:07:38 +0000 | <segfaultfizzbuzz> | i want gptcheck |
| 2023-02-05 02:13:29 +0000 | <int-e> | . o O ( "Your code looks really excellent today. I found no single bug, except for the fact that 2 + 2 = 5." ) |
| 2023-02-05 02:13:50 +0000 | <segfaultfizzbuzz> | haha you joke but making up variations on realistic inputs could be pretty great |
| 2023-02-05 02:20:48 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2023-02-05 02:21:59 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-02-05 02:23:29 +0000 | czy | (~user@host-140-28.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-02-05 02:25:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2023-02-05 02:32:36 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 02:33:44 +0000 | cheater__ | (~Username@user/cheater) |
| 2023-02-05 02:34:14 +0000 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) |
| 2023-02-05 02:34:35 +0000 | <sclv> | i think many of the competitors are not about ease of use but specifying different sorts of search -- i.e. small and exhaustive inputs, etc |
| 2023-02-05 02:35:51 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-02-05 02:36:00 +0000 | cheater__ | cheater |
| 2023-02-05 02:37:05 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-02-05 02:38:10 +0000 | <sclv> | vis a vis generating infinite values, i'd take a look at writing a custom generator that makes use of size, as in https://hackage.haskell.org/package/QuickCheck-2.14.2/docs/Test-QuickCheck-Gen.html#v:getSize |
| 2023-02-05 02:39:54 +0000 | <sclv> | or if you're generating a list, it actually already does, and all you really need to do is add a resize or scale to each call to reduce the size as you recur. |
| 2023-02-05 02:40:36 +0000 | <sclv> | or use "frequency" to give extra weight to the empty list :-) |
| 2023-02-05 02:40:47 +0000 | theproffesor | (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 2023-02-05 02:40:52 +0000 | the_proffesor | (~theproffe@user/theproffesor) |
| 2023-02-05 02:40:59 +0000 | <sclv> | but that's only probabilistically terminating, while resizing is definitively so |
| 2023-02-05 02:45:05 +0000 | theproffesor | (~theproffe@2601:282:8800:3f30::d2a1) |
| 2023-02-05 02:45:05 +0000 | theproffesor | (~theproffe@2601:282:8800:3f30::d2a1) (Changing host) |
| 2023-02-05 02:45:05 +0000 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-02-05 02:46:15 +0000 | the_proffesor | (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 2023-02-05 02:47:43 +0000 | Midjak2 | (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
| 2023-02-05 02:48:31 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e7c5:c7:8d46:6e81) (Ping timeout: 248 seconds) |
| 2023-02-05 02:48:42 +0000 | Midjak2 | (~Midjak@82.66.147.146) |
| 2023-02-05 02:48:55 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-02-05 02:49:45 +0000 | theproffesor | (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 2023-02-05 02:50:40 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-02-05 02:51:43 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-05 03:02:25 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2023-02-05 03:03:28 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection) |
| 2023-02-05 03:05:47 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 03:06:16 +0000 | tessier | (~treed@mobile-166-170-47-178.mycingular.net) (Ping timeout: 252 seconds) |
| 2023-02-05 03:07:31 +0000 | td_ | (~td@i53870930.versanet.de) (Ping timeout: 252 seconds) |
| 2023-02-05 03:07:57 +0000 | tessier | (~treed@98.171.210.130) |
| 2023-02-05 03:09:22 +0000 | td_ | (~td@i53870931.versanet.de) |
| 2023-02-05 03:10:27 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-05 03:12:26 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 03:14:21 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Quit: segfaultfizzbuzz) |
| 2023-02-05 03:21:28 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 268 seconds) |
| 2023-02-05 03:22:07 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-02-05 03:22:09 +0000 | johnw_ | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-02-05 03:23:10 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a4d4:2a1:9e67:f42c) |
| 2023-02-05 03:23:11 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 03:23:35 +0000 | johnw | (~johnw@2600:1700:cf00:db0:44e6:2d71:3c2a:1669) (Ping timeout: 264 seconds) |
| 2023-02-05 03:23:40 +0000 | johnw_ | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Client Quit) |
| 2023-02-05 03:23:42 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 03:26:43 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 03:30:59 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-02-05 03:36:50 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-05 03:36:50 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-02-05 03:36:50 +0000 | finn_elija | FinnElija |
| 2023-02-05 03:42:44 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-02-05 03:44:07 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2023-02-05 03:53:02 +0000 | thongpv | (~thongpv87@2402:9d80:3bd:3161:2cf6:60a:386f:8e18) (Ping timeout: 255 seconds) |
| 2023-02-05 04:04:17 +0000 | danza | (~francesco@ge-19-98-82.service.infuturo.it) (Read error: Connection reset by peer) |
| 2023-02-05 04:12:39 +0000 | shapr | (~user@68.54.166.125) (Ping timeout: 268 seconds) |
| 2023-02-05 04:12:55 +0000 | thongpv | (~thongpv87@2402:9d80:3bd:3161:aa40:59b3:7af8:2619) |
| 2023-02-05 04:20:46 +0000 | danza | (~francesco@151.43.49.100) |
| 2023-02-05 04:26:07 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-05 04:29:30 +0000 | thongpv | (~thongpv87@2402:9d80:3bd:3161:aa40:59b3:7af8:2619) (Ping timeout: 260 seconds) |
| 2023-02-05 04:30:44 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 04:31:40 +0000 | thongpv | (~thongpv87@123.31.161.115) |
| 2023-02-05 04:39:55 +0000 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 2023-02-05 04:41:08 +0000 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-05 04:47:19 +0000 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2023-02-05 04:50:07 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-02-05 04:57:51 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-02-05 04:58:37 +0000 | cheater | (~Username@user/cheater) |
| 2023-02-05 05:00:21 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-02-05 05:00:40 +0000 | qhong_ | (~qhong@dn160vrd000d6kpg009l6c0000ep.stanford.edu) |
| 2023-02-05 05:03:49 +0000 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 252 seconds) |
| 2023-02-05 05:06:29 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 05:10:01 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-02-05 05:10:07 +0000 | cheater_ | cheater |
| 2023-02-05 05:11:44 +0000 | theproffesor | (~theproffe@2601:282:8800:3f30::96d7) |
| 2023-02-05 05:11:44 +0000 | theproffesor | (~theproffe@2601:282:8800:3f30::96d7) (Changing host) |
| 2023-02-05 05:11:44 +0000 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-02-05 05:26:53 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-05 05:33:30 +0000 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Remote host closed the connection) |
| 2023-02-05 05:33:51 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-02-05 05:33:52 +0000 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-02-05 05:38:11 +0000 | AlexZenon_2 | (~alzenon@178.34.160.79) |
| 2023-02-05 05:38:13 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 05:38:30 +0000 | AlexZenon | (~alzenon@178.34.160.79) (Read error: Connection reset by peer) |
| 2023-02-05 05:40:25 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-02-05 05:40:30 +0000 | cheater_ | cheater |
| 2023-02-05 05:43:23 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-02-05 05:43:38 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-02-05 05:43:56 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 05:43:58 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-02-05 05:44:34 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-05 05:44:47 +0000 | cheater__ | (~Username@user/cheater) |
| 2023-02-05 05:45:51 +0000 | cheater__ | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-02-05 05:46:05 +0000 | freeside | (~mengwong@103.252.202.170) (Quit: leaving) |
| 2023-02-05 05:46:44 +0000 | cheater__ | (~Username@user/cheater) |
| 2023-02-05 05:47:54 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-02-05 05:48:00 +0000 | cheater__ | cheater |
| 2023-02-05 05:48:31 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-02-05 05:48:51 +0000 | varoo | (~varoo@117.203.246.41) |
| 2023-02-05 06:13:55 +0000 | nehsou^ | (~nehsou@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-02-05 06:19:47 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-02-05 06:25:25 +0000 | <talismanick> | Say I have a record type with 2 fields, Stmt{stmtTxt, stmtVar} |
| 2023-02-05 06:25:42 +0000 | <talismanick> | How can I fmap it into another statment to assign in lexicographic order? |
| 2023-02-05 06:25:49 +0000 | <talismanick> | something shorter than `(\(str, lst) -> Stmt{stmtText = str, stmtExVar = lst}` |
| 2023-02-05 06:26:29 +0000 | <talismanick> | into another container* |
| 2023-02-05 06:27:20 +0000 | <Maxdamantus> | looks like `uncurry Stmt` to me. |
| 2023-02-05 06:27:50 +0000 | <talismanick> | thanks, it works |
| 2023-02-05 06:27:55 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-02-05 06:31:44 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-02-05 06:33:35 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-02-05 06:33:54 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-02-05 06:41:49 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-02-05 06:42:20 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-05 06:44:50 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-02-05 06:45:09 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-02-05 06:47:38 +0000 | Guest75 | (~Guest75@178.141.147.162) (Ping timeout: 260 seconds) |
| 2023-02-05 06:49:42 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-02-05 07:00:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f424:933a:fcd6:76ad) (Remote host closed the connection) |
| 2023-02-05 07:01:52 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:187f:7b7b:3012:4a8d) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-02-05 07:02:13 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:b289:3f01:2da:f4d2) |
| 2023-02-05 07:04:34 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 07:13:32 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-02-05 07:13:47 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 07:20:07 +0000 | thongpv | (~thongpv87@123.31.161.115) (Ping timeout: 268 seconds) |
| 2023-02-05 07:22:40 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 07:22:45 +0000 | opticblast | (~Thunderbi@172.58.84.5) (Ping timeout: 260 seconds) |
| 2023-02-05 07:25:55 +0000 | thongpv | (~thongpv87@2402:9d80:32b:587a:37cd:3b62:f679:1d5c) |
| 2023-02-05 07:26:35 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 264 seconds) |
| 2023-02-05 07:26:43 +0000 | kassouni | (~kassouni@2601:646:400:68b0:b177:d8a6:e682:c833) |
| 2023-02-05 07:27:34 +0000 | johnw | (~johnw@2600:1700:cf00:db0:f5ae:ed45:6e33:9a11) |
| 2023-02-05 07:27:56 +0000 | thongpv87 | (~thongpv87@2402:9d80:36b:e50f:b44a:419:3520:b749) |
| 2023-02-05 07:28:18 +0000 | thongpv | (~thongpv87@2402:9d80:32b:587a:37cd:3b62:f679:1d5c) (Read error: Connection reset by peer) |
| 2023-02-05 07:30:07 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 07:30:32 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 07:46:07 +0000 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Quit: emergence) |
| 2023-02-05 07:47:19 +0000 | emergence | (thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-02-05 07:50:39 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-02-05 07:52:21 +0000 | thongpv87 | (~thongpv87@2402:9d80:36b:e50f:b44a:419:3520:b749) (Read error: Connection reset by peer) |
| 2023-02-05 08:03:14 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-02-05 08:07:36 +0000 | danza | (~francesco@151.43.49.100) (Ping timeout: 268 seconds) |
| 2023-02-05 08:11:00 +0000 | <mauke> | @unpl uncurry Stmt |
| 2023-02-05 08:11:01 +0000 | <lambdabot> | uncurry Stmt |
| 2023-02-05 08:12:48 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-05 08:20:24 +0000 | danza | (~francesco@151.37.135.189) |
| 2023-02-05 08:21:01 +0000 | dolio | (~dolio@130.44.134.54) (Ping timeout: 252 seconds) |
| 2023-02-05 08:22:01 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-02-05 08:28:09 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-02-05 08:34:30 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 08:34:36 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-02-05 08:34:50 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-05 08:35:11 +0000 | kassouni | (~kassouni@2601:646:400:68b0:b177:d8a6:e682:c833) (Ping timeout: 255 seconds) |
| 2023-02-05 08:36:11 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 08:39:03 +0000 | [exa] | (~exa@user/exa/x-3587197) |
| 2023-02-05 08:39:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 08:44:05 +0000 | <Athas> | Man, this maintenance stuff is hard. |
| 2023-02-05 08:50:03 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 08:52:53 +0000 | lottaquestions | (~nick@104.221.24.83) |
| 2023-02-05 08:53:08 +0000 | lottaquestions | (~nick@104.221.24.83) (Client Quit) |
| 2023-02-05 08:53:32 +0000 | lottaquestions | (~nick@104.221.24.83) |
| 2023-02-05 08:55:42 +0000 | lottaquestions_ | (~nick@104.221.24.83) (Ping timeout: 268 seconds) |
| 2023-02-05 08:59:11 +0000 | <tomsmeding> | Athas: what are you maintaining |
| 2023-02-05 09:00:06 +0000 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (Quit: You have been kicked for being idle) |
| 2023-02-05 09:08:47 +0000 | titibandit1 | (~titibandi@xdsl-85-197-0-96.nc.de) |
| 2023-02-05 09:13:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 09:15:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 09:22:40 +0000 | mechap | (~mechap@user/mechap) |
| 2023-02-05 09:22:55 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-02-05 09:23:27 +0000 | <int-e> | composure? |
| 2023-02-05 09:28:01 +0000 | anpad | (~pandeyan@user/anpad) (Read error: Connection reset by peer) |
| 2023-02-05 09:30:23 +0000 | anpad | (~pandeyan@user/anpad) |
| 2023-02-05 09:30:56 +0000 | titibandit1 | (~titibandi@xdsl-85-197-0-96.nc.de) (Quit: Leaving.) |
| 2023-02-05 09:34:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 09:36:14 +0000 | acidjnk | (~acidjnk@p200300d6e715c40294afa8ac0eb9b786.dip0.t-ipconnect.de) |
| 2023-02-05 09:40:34 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-02-05 09:44:21 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) |
| 2023-02-05 09:52:12 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 09:54:04 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-02-05 09:57:33 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-02-05 10:04:01 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-02-05 10:17:58 +0000 | Jon | (jon@dow.land) (Read error: Connection reset by peer) |
| 2023-02-05 10:18:08 +0000 | talismanick | (~talismani@2601:200:c181:4c40::1be2) (Ping timeout: 248 seconds) |
| 2023-02-05 10:18:12 +0000 | Guest75 | (~Guest75@178.141.147.162) |
| 2023-02-05 10:20:09 +0000 | titibandit1 | (~titibandi@85.197.0.96) |
| 2023-02-05 10:26:49 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-02-05 10:27:15 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 10:27:50 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-02-05 10:29:26 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-02-05 10:29:58 +0000 | tabaqui | (~root@88.231.63.172) (Quit: WeeChat 3.7.1) |
| 2023-02-05 10:30:46 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 10:31:20 +0000 | thongpv87 | (~thongpv87@123.28.243.28) |
| 2023-02-05 10:31:45 +0000 | Jon | (jon@dow.land) |
| 2023-02-05 10:34:11 +0000 | titibandit1 | (~titibandi@85.197.0.96) (Quit: Leaving.) |
| 2023-02-05 10:34:37 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 10:34:54 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-02-05 10:35:02 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 10:36:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 10:37:16 +0000 | varoo | (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 2023-02-05 10:39:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Ping timeout: 260 seconds) |
| 2023-02-05 10:46:39 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-05 10:48:13 +0000 | Guest8275 | (~Guest82@103.95.81.128) |
| 2023-02-05 10:48:47 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-02-05 10:48:59 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-05 10:49:28 +0000 | <Guest8275> | vHey Everyone , My name is Utsav from india currently pursuing B.tech wants to contribute in Haskell ,Please anyone tell me how to contribute in this.. |
| 2023-02-05 10:53:05 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 246 seconds) |
| 2023-02-05 10:54:26 +0000 | coot | (~coot@213.134.171.3) |
| 2023-02-05 10:54:47 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-05 10:56:36 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-02-05 10:56:50 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 10:57:40 +0000 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-05 11:00:08 +0000 | coot | (~coot@213.134.171.3) (Ping timeout: 246 seconds) |
| 2023-02-05 11:00:08 +0000 | coot_ | coot |
| 2023-02-05 11:07:00 +0000 | Guest8275 | (~Guest82@103.95.81.128) (Quit: Client closed) |
| 2023-02-05 11:20:24 +0000 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 260 seconds) |
| 2023-02-05 11:23:01 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-02-05 11:26:56 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 11:30:42 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-02-05 11:30:43 +0000 | cheater_ | cheater |
| 2023-02-05 11:36:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 11:36:38 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 11:42:19 +0000 | danza | (~francesco@151.37.135.189) (Ping timeout: 252 seconds) |
| 2023-02-05 11:46:53 +0000 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-05 11:49:59 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 11:50:18 +0000 | thongpv | (~thongpv87@2402:9d80:327:1fe2:2c6c:9e9b:7d9:8af2) |
| 2023-02-05 11:52:04 +0000 | thongpv87 | (~thongpv87@123.28.243.28) (Ping timeout: 268 seconds) |
| 2023-02-05 11:54:49 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-02-05 11:59:08 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-05 12:01:45 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) |
| 2023-02-05 12:02:01 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-02-05 12:15:27 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:bfa0:5800:8a6e:83cb) |
| 2023-02-05 12:16:52 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-05 12:17:32 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-02-05 12:21:05 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-05 12:22:16 +0000 | varoo | (~varoo@117.203.246.41) |
| 2023-02-05 12:26:30 +0000 | varoo_ | (~varoo@117.203.246.41) |
| 2023-02-05 12:28:13 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda2) |
| 2023-02-05 12:29:15 +0000 | varoo | (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 2023-02-05 12:32:18 +0000 | varoo_ | (~varoo@117.203.246.41) (Quit: Probably got disconnect dure to unstable internet) |
| 2023-02-05 12:32:35 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda2) (Client Quit) |
| 2023-02-05 12:40:48 +0000 | danza | (~francesco@151.35.196.131) |
| 2023-02-05 12:41:13 +0000 | thongpv | (~thongpv87@2402:9d80:327:1fe2:2c6c:9e9b:7d9:8af2) (Read error: Connection reset by peer) |
| 2023-02-05 12:55:44 +0000 | thongpv | (~thongpv87@123.28.243.28) |
| 2023-02-05 12:57:16 +0000 | acidjnk | (~acidjnk@p200300d6e715c40294afa8ac0eb9b786.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2023-02-05 12:58:12 +0000 | phma | (~phma@host-67-44-208-10.hnremote.net) (Read error: Connection reset by peer) |
| 2023-02-05 12:58:47 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-02-05 12:59:07 +0000 | phma | (~phma@2001:5b0:210b:b598:68f:2ac5:62a2:9423) |
| 2023-02-05 13:07:05 +0000 | <maerwald[m]> | Guest8275: the language? |
| 2023-02-05 13:09:14 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-02-05 13:10:19 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 13:10:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-02-05 13:11:33 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-05 13:11:54 +0000 | azure_vermilion | (~azure_ver@23.106.59.29) |
| 2023-02-05 13:12:09 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-05 13:12:10 +0000 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 13:12:44 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-02-05 13:12:44 +0000 | cheater_ | cheater |
| 2023-02-05 13:15:05 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2023-02-05 13:15:31 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-02-05 13:20:35 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-02-05 13:20:35 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-02-05 13:21:19 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-02-05 13:21:27 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-02-05 13:22:17 +0000 | sudden | (~cat@user/sudden) (Ping timeout: 265 seconds) |
| 2023-02-05 13:22:44 +0000 | sudden | (~cat@user/sudden) |
| 2023-02-05 13:31:45 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-02-05 13:35:37 +0000 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 2023-02-05 13:36:52 +0000 | bhall | (~brunohall@85.255.236.5) |
| 2023-02-05 13:40:04 +0000 | vgtw | (~vgtw@user/vgtw) |
| 2023-02-05 13:43:58 +0000 | <stefan-_> | when I run `stack test/run` all source files will be re-compiled most of the time, even if only 1 file was changed |
| 2023-02-05 13:44:02 +0000 | <stefan-_> | I use intellij-haskell as IDE |
| 2023-02-05 13:44:19 +0000 | <stefan-_> | any ideas how the recompilation can be avoided? |
| 2023-02-05 13:48:33 +0000 | <byorgey> | stefan-_: see https://github.com/commercialhaskell/stack/issues/4977 for some workarounds |
| 2023-02-05 13:50:28 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 13:56:55 +0000 | <stefan-_> | byorgey, thanks, I also found this: https://github.com/rikvdkleij/intellij-haskell/issues/475 |
| 2023-02-05 14:01:40 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda2) |
| 2023-02-05 14:14:04 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-02-05 14:14:30 +0000 | thongpv87 | (~thongpv87@2402:9d80:327:1fe2:f13:e44c:defe:3212) |
| 2023-02-05 14:14:42 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-02-05 14:15:20 +0000 | thongpv87 | (~thongpv87@2402:9d80:327:1fe2:f13:e44c:defe:3212) (Remote host closed the connection) |
| 2023-02-05 14:15:59 +0000 | thongpv87 | (~thongpv87@2402:9d80:327:1fe2:f13:e44c:defe:3212) |
| 2023-02-05 14:16:59 +0000 | thongpv | (~thongpv87@123.28.243.28) (Ping timeout: 268 seconds) |
| 2023-02-05 14:18:39 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 14:21:03 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-02-05 14:21:48 +0000 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2023-02-05 14:21:56 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 14:24:43 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-02-05 14:25:49 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda2) (Remote host closed the connection) |
| 2023-02-05 14:29:43 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-02-05 14:32:09 +0000 | bhall | (~brunohall@85.255.236.5) (Read error: Connection reset by peer) |
| 2023-02-05 14:32:25 +0000 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-05 14:34:44 +0000 | <Hammdist> | is Data.List.Index.imap the recommended way to map with index? |
| 2023-02-05 14:37:09 +0000 | <Hammdist> | Data.List.Index doesn't seem to be installed by default |
| 2023-02-05 14:39:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2023-02-05 14:41:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-02-05 14:42:56 +0000 | <mniip> | Hammdist, zipping with [0..] is the standard way in the code bases I've seen |
| 2023-02-05 14:43:24 +0000 | <mniip> | Or you might want to zip with [1..]! |
| 2023-02-05 14:43:49 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 14:43:50 +0000 | <mniip> | One of those cases where factoring out a function is not a particularly great idea |
| 2023-02-05 14:45:39 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2023-02-05 14:51:21 +0000 | <yushyin> | or indexed functor from one of the lens libraries |
| 2023-02-05 15:00:50 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 15:09:59 +0000 | <tomsmeding> | going from `map f l` to `zipWith f [0..] l` is such an easy change, and the resulting code has such obvious meaning, that indeed factoring that out into a function would only be worth it if in a particular piece of code you happen to need this pattern _many_ times |
| 2023-02-05 15:16:45 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-02-05 15:23:41 +0000 | danza | (~francesco@151.35.196.131) (Ping timeout: 256 seconds) |
| 2023-02-05 15:24:33 +0000 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2023-02-05 15:27:27 +0000 | stef204 | (~stef204@user/stef204) |
| 2023-02-05 15:30:01 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-05 15:30:04 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-02-05 15:30:25 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-05 15:31:02 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-05 15:33:23 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 15:35:42 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-02-05 15:38:29 +0000 | danza | (~francesco@151.43.87.223) |
| 2023-02-05 15:39:02 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 15:39:30 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-05 15:39:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 15:43:35 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Ping timeout: 255 seconds) |
| 2023-02-05 15:43:50 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 15:44:19 +0000 | AlexZenon_2 | AlexZenon |
| 2023-02-05 15:44:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-02-05 15:56:34 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.8) |
| 2023-02-05 15:59:01 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 15:59:28 +0000 | gnyeki | (~gnyeki@user/gnyeki) (Quit: leaving) |
| 2023-02-05 16:02:43 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-02-05 16:03:02 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-05 16:05:04 +0000 | gnyeki | (~gnyeki@user/gnyeki) |
| 2023-02-05 16:05:20 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 16:07:53 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-02-05 16:08:27 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2023-02-05 16:10:11 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-05 16:10:37 +0000 | OscarZ | (~oscarz@85.194.207.103) |
| 2023-02-05 16:11:48 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2023-02-05 16:16:59 +0000 | nunggu_ | (~q@user/nunggu) (Ping timeout: 255 seconds) |
| 2023-02-05 16:17:40 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-02-05 16:19:25 +0000 | nunggu_ | (~q@user/nunggu) |
| 2023-02-05 16:21:54 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-02-05 16:22:13 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-02-05 16:25:59 +0000 | meooow_ | (~meooow@2400:6180:100:d0::ad9:e001) (Remote host closed the connection) |
| 2023-02-05 16:26:23 +0000 | meooow | (~meooow@165.232.184.169) |
| 2023-02-05 16:30:28 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:bfa0:5800:8a6e:83cb) (Quit: WeeChat 3.7.1) |
| 2023-02-05 16:33:49 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-05 16:34:13 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Ping timeout: 252 seconds) |
| 2023-02-05 16:34:47 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-02-05 16:35:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2023-02-05 16:38:45 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-02-05 16:39:56 +0000 | Inst_ | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) |
| 2023-02-05 16:41:04 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-02-05 16:41:31 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-05 16:42:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 16:42:59 +0000 | Inst | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 252 seconds) |
| 2023-02-05 16:43:18 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 16:47:27 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-02-05 16:47:59 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-05 16:49:19 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 16:54:03 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-05 16:55:04 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 16:58:02 +0000 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-02-05 16:58:26 +0000 | Bocaneri | Guest419 |
| 2023-02-05 17:00:35 +0000 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
| 2023-02-05 17:00:40 +0000 | phma | (~phma@2001:5b0:210b:b598:68f:2ac5:62a2:9423) (Read error: Connection reset by peer) |
| 2023-02-05 17:01:17 +0000 | Guest419 | SenFache |
| 2023-02-05 17:01:22 +0000 | phma | (~phma@host-67-44-208-213.hnremote.net) |
| 2023-02-05 17:05:00 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 17:05:08 +0000 | <segfaultfizzbuzz> | https://www.pcmag.com/news/chatgpt-passes-google-coding-interview-for-level-3-engineer-with-183k-s… |
| 2023-02-05 17:05:32 +0000 | <segfaultfizzbuzz> | which soup kitchens does #haskell regard as the best? |
| 2023-02-05 17:06:05 +0000 | <L29Ah> | borscht |
| 2023-02-05 17:06:13 +0000 | <[exa]> | the ones operated by chatgpt. |
| 2023-02-05 17:06:35 +0000 | <Rembane> | I wonder how good ChatGPT would do as a level three engineer at Google. |
| 2023-02-05 17:06:41 +0000 | <[exa]> | oh man I can't wait for the time when the programmers will finally be obsolete |
| 2023-02-05 17:07:07 +0000 | <Rembane> | [exa]: What are you gonna do when that happens? |
| 2023-02-05 17:07:15 +0000 | <[exa]> | operate the soup kitchen |
| 2023-02-05 17:07:35 +0000 | <L29Ah> | replace your obsolete programmers with Microsoft® AI© CodeWorkers™ now! |
| 2023-02-05 17:08:01 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-05 17:08:43 +0000 | <[exa]> | like, AFAIK a pretty big chunk of google's workforce is dealing with&supporting people who invest in ads, and the chatgpt may save millions there |
| 2023-02-05 17:08:45 +0000 | oldsk00l | (~znc@ec2-18-133-247-9.eu-west-2.compute.amazonaws.com) |
| 2023-02-05 17:09:13 +0000 | <Rembane> | That sounds good |
| 2023-02-05 17:09:21 +0000 | <segfaultfizzbuzz> | L29Ah: type error: not a soup kitchen |
| 2023-02-05 17:10:01 +0000 | <L29Ah> | segfaultfizzbuzz: ENOENT |
| 2023-02-05 17:10:03 +0000 | <segfaultfizzbuzz> | [exa]: lol |
| 2023-02-05 17:10:18 +0000 | <[exa]> | kinda reminds me of birchpunk btw, I wonder what these guys do now |
| 2023-02-05 17:10:26 +0000 | <segfaultfizzbuzz> | birchpunk? |
| 2023-02-05 17:10:56 +0000 | <[exa]> | search it on youtube, it's quite eastern but good |
| 2023-02-05 17:13:18 +0000 | <segfaultfizzbuzz> | i mean tbh i am not sure i am a better programmer than chatgpt |
| 2023-02-05 17:13:29 +0000 | <[exa]> | (OT danger: here https://www.youtube.com/watch?v=RCH2PTj93fs ) |
| 2023-02-05 17:18:20 +0000 | <Hammdist> | (x where x = 7) <-- why doesn't this work? what is the syntax for where? |
| 2023-02-05 17:18:32 +0000 | <segfaultfizzbuzz> | [exa]: hedge computing is funny but unfortunately aside from that i didn't really find that funny :-/ |
| 2023-02-05 17:19:13 +0000 | <segfaultfizzbuzz> | [exa]: you owe me the completion of a tutorial on how to make a graph reducer, unfortunately i am a little too busy at the moment to follow through on that |
| 2023-02-05 17:19:46 +0000 | <[exa]> | segfaultfizzbuzz: ah yeah, well I'm around, feel free to ask |
| 2023-02-05 17:20:40 +0000 | <segfaultfizzbuzz> | "ChatGPT is probably outputting at least 22x the volume of human Twitter users ever day... and the equivalent of the entire printed works of humanity every 14 days" -- lol |
| 2023-02-05 17:21:19 +0000 | <[exa]> | Hammdist: AFAIK `where` is only valid around definitions, i.e. y=x where x=7 works |
| 2023-02-05 17:21:33 +0000 | <segfaultfizzbuzz> | yeah if you do the calculations on the IO bandwith of all of humanity and the IO bandwith of a high end GPU the difference is rather stark |
| 2023-02-05 17:23:08 +0000 | <segfaultfizzbuzz> | at 96 wpm one person is producing 8 bytes per second (let's forget about compressability, the actual number is significantly lower...) |
| 2023-02-05 17:24:17 +0000 | <segfaultfizzbuzz> | so all of humanity (10^10 people) is 80 GB per second if everyone is awake simultaneously |
| 2023-02-05 17:24:59 +0000 | <[exa]> | but they also talk and make the weird faces and accents |
| 2023-02-05 17:25:18 +0000 | <segfaultfizzbuzz> | the actual sustainable rate is much lower than that, and the actual output entropy is much lower |
| 2023-02-05 17:25:34 +0000 | <segfaultfizzbuzz> | so all of humanity is probably like 1 GB per second or something like that |
| 2023-02-05 17:26:05 +0000 | <[exa]> | you should count only "externally useful output", it's gonna be quite low tbh. Anyway let's move to #-offtopic I guess |
| 2023-02-05 17:26:30 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-02-05 17:35:27 +0000 | sefidel | (~sefidel@user/sefidel) |
| 2023-02-05 17:39:07 +0000 | Henson | (~kvirc@207.136.101.195) (Ping timeout: 252 seconds) |
| 2023-02-05 17:42:15 +0000 | dfip^ | (~dfip@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-02-05 17:47:13 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-02-05 17:47:13 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-02-05 17:47:13 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 17:50:37 +0000 | paulpaul1076 | (~textual@95-29-4-222.broadband.corbina.ru) |
| 2023-02-05 17:52:06 +0000 | ddellacosta | (~ddellacos@146.70.166.100) (Quit: WeeChat 3.7.1) |
| 2023-02-05 17:52:22 +0000 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 17:52:32 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 17:54:02 +0000 | ddellacosta | (~ddellacos@146.70.166.100) (Client Quit) |
| 2023-02-05 17:54:20 +0000 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 17:55:26 +0000 | ddellacosta | (~ddellacos@146.70.166.100) (Client Quit) |
| 2023-02-05 17:55:42 +0000 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 17:57:49 +0000 | <segfaultfizzbuzz> | https://reviews.llvm.org/D118029 -- speak of the devil: "We are introducing branchless variants for sort3, sort4 and sort5. These sorting functions have been generated using Reinforcement Learning and aim to replace sort3, sort4 and __sort5 variants for integral types." |
| 2023-02-05 17:58:09 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-02-05 17:59:02 +0000 | <segfaultfizzbuzz> | what is Random_4 in this, does that mean sorting 4 elements which come from a random distribution? |
| 2023-02-05 17:59:21 +0000 | <segfaultfizzbuzz> | like uiformly random distribution? they got like 60% speedups for that |
| 2023-02-05 17:59:56 +0000 | <monochrom> | Wrong channel? |
| 2023-02-05 18:01:05 +0000 | econo | (uid147250@user/econo) |
| 2023-02-05 18:01:05 +0000 | <segfaultfizzbuzz> | ok well we were just joking around about chatgpt replacing all of us, and then llvm lands some kind of reinforcement-learning originated sorting contribution |
| 2023-02-05 18:05:14 +0000 | <int-e> | ...what happened to sorting networks... |
| 2023-02-05 18:05:41 +0000 | <int-e> | (that's the keyword that *should* be in there) |
| 2023-02-05 18:08:03 +0000 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 2023-02-05 18:10:08 +0000 | thongpv87 | (~thongpv87@2402:9d80:327:1fe2:f13:e44c:defe:3212) (Read error: Connection reset by peer) |
| 2023-02-05 18:11:53 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-02-05 18:12:53 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 18:13:49 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-02-05 18:17:29 +0000 | <tomsmeding> | not sure what the Machine Learning (tm) produced sorting functions are, they seem to be the ones in libcxx/include/__algorithm/sort.h here? https://reviews.llvm.org/rG194d1965d2c841fa81e107d19e27fae1467e7f11 |
| 2023-02-05 18:17:36 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-02-05 18:17:49 +0000 | irrgit__ | (~irrgit@86.106.90.226) |
| 2023-02-05 18:17:51 +0000 | <tomsmeding> | if so, those are _tiny_, and indeed look like classical sorting networks |
| 2023-02-05 18:18:05 +0000 | <tomsmeding> | they're only 6 primitives long! |
| 2023-02-05 18:18:07 +0000 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 18:18:48 +0000 | <int-e> | TBH I'm inclined to believe that "reinforcement learning" is a joke here. After all that's how humans learn too. |
| 2023-02-05 18:19:40 +0000 | <tomsmeding> | I suspect it's not a joke, and it's a decent way to come up with these networks if that's your thing, but you know, superoptimisation is a field that exists |
| 2023-02-05 18:19:59 +0000 | <tomsmeding> | and surely there are less hypey ways to produce sorting networks of length 6 |
| 2023-02-05 18:20:26 +0000 | <tomsmeding> | I'd expect fancy machine learning to be helpful once you get to length 20 or so |
| 2023-02-05 18:20:41 +0000 | <tomsmeding> | at that point any kind of brute-force search is hopeless |
| 2023-02-05 18:21:06 +0000 | irrgit_ | (~irrgit@86.106.90.226) (Ping timeout: 255 seconds) |
| 2023-02-05 18:22:09 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 2023-02-05 18:22:25 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 18:22:34 +0000 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2023-02-05 18:23:28 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-02-05 18:28:55 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-02-05 18:30:05 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 18:35:35 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-02-05 18:42:44 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 18:43:26 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 18:43:38 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-02-05 18:47:34 +0000 | <sclv> | *weird al voice* "this network is ony six prims long" |
| 2023-02-05 18:47:54 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 18:51:12 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-05 18:53:51 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 2023-02-05 18:59:00 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-02-05 19:00:04 +0000 | malte | (~malte@mal.tc) |
| 2023-02-05 19:03:29 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-05 19:05:08 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-05 19:05:52 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-05 19:06:49 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2023-02-05 19:12:17 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-02-05 19:13:04 +0000 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-02-05 19:13:28 +0000 | Bocaneri | Guest8231 |
| 2023-02-05 19:14:42 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-02-05 19:14:42 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-02-05 19:14:42 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 19:15:31 +0000 | SenFache | (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
| 2023-02-05 19:18:31 +0000 | czy | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-02-05 19:19:09 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-05 19:22:23 +0000 | danza | (~francesco@151.43.87.223) (Read error: Connection reset by peer) |
| 2023-02-05 19:33:37 +0000 | irrgit_ | (~irrgit@86.106.90.226) |
| 2023-02-05 19:34:00 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-05 19:34:49 +0000 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-02-05 19:35:30 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 19:36:32 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-02-05 19:36:37 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 19:37:22 +0000 | irrgit__ | (~irrgit@86.106.90.226) (Ping timeout: 252 seconds) |
| 2023-02-05 19:37:52 +0000 | irrgit_ | (~irrgit@86.106.90.226) (Ping timeout: 252 seconds) |
| 2023-02-05 19:38:33 +0000 | danza | (~francesco@151.44.152.227) |
| 2023-02-05 19:39:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 19:39:25 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2023-02-05 19:40:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-02-05 19:40:49 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 2023-02-05 19:49:44 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:2641:41f8:4532:c175) |
| 2023-02-05 19:51:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-05 19:56:03 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-02-05 19:56:27 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 19:58:18 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 19:59:38 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-02-05 19:59:42 +0000 | cheater_ | cheater |
| 2023-02-05 20:00:32 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 20:04:08 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2023-02-05 20:04:18 +0000 | enthropy | (~enthropy@66.7.90.250) |
| 2023-02-05 20:04:41 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 20:05:19 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-02-05 20:14:01 +0000 | bilegeek | (~bilegeek@2600:1008:b015:d0b:5741:22b9:5995:c1b0) |
| 2023-02-05 20:16:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-05 20:16:14 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:2641:41f8:4532:c175) (Quit: WeeChat 3.7.1) |
| 2023-02-05 20:21:38 +0000 | ddellacosta | (~ddellacos@146.70.166.100) (Quit: WeeChat 3.7.1) |
| 2023-02-05 20:22:34 +0000 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 20:26:24 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-02-05 20:28:20 +0000 | mechap | (~mechap@user/mechap) (Read error: Connection reset by peer) |
| 2023-02-05 20:28:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-05 20:28:51 +0000 | mechap | (~mechap@user/mechap) |
| 2023-02-05 20:29:03 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:f5d:5995:2562:c584) |
| 2023-02-05 20:29:43 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 20:31:18 +0000 | piele_ | (~piele@tbonesteak.creativeserver.net) (Ping timeout: 268 seconds) |
| 2023-02-05 20:32:34 +0000 | kenran | (~user@user/kenran) |
| 2023-02-05 20:41:03 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-02-05 20:43:07 +0000 | finsternis | (~X@23.226.237.192) |
| 2023-02-05 20:47:41 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-05 20:47:41 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-05 20:47:41 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 20:47:55 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 20:49:32 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
| 2023-02-05 20:50:23 +0000 | talismanick | (~talismani@2601:200:c181:4c40::1be2) |
| 2023-02-05 20:51:43 +0000 | enthropy | (~enthropy@66.7.90.250) (Ping timeout: 260 seconds) |
| 2023-02-05 20:51:50 +0000 | czy | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50)) |
| 2023-02-05 20:51:58 +0000 | czy | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-02-05 20:52:34 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-02-05 20:57:04 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 20:57:40 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-02-05 20:58:34 +0000 | cheater | (~Username@user/cheater) |
| 2023-02-05 21:02:55 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 2023-02-05 21:02:56 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-02-05 21:03:31 +0000 | Guest8231 | SenFache |
| 2023-02-05 21:04:43 +0000 | mechap | (~mechap@user/mechap) |
| 2023-02-05 21:07:02 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 21:08:16 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:f5d:5995:2562:c584) (Ping timeout: 248 seconds) |
| 2023-02-05 21:10:48 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:8505:fe3c:2b67:4589) |
| 2023-02-05 21:16:06 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 21:18:34 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-02-05 21:20:13 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-02-05 21:25:49 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 21:26:09 +0000 | chatterx | (~paolillo@2601:801:480:9390:b4ee:d26e:a399:c497) |
| 2023-02-05 21:26:45 +0000 | chatterx | (~paolillo@2601:801:480:9390:b4ee:d26e:a399:c497) () |
| 2023-02-05 21:27:51 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-02-05 21:29:28 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.8) |
| 2023-02-05 21:33:30 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-02-05 21:39:09 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:8505:fe3c:2b67:4589) (Quit: WeeChat 3.7.1) |
| 2023-02-05 21:39:40 +0000 | jonathanx | (~jonathan@178.174.176.109) (Remote host closed the connection) |
| 2023-02-05 21:42:29 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-05 21:42:29 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-05 21:42:29 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 21:44:07 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 21:46:21 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 21:49:36 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-02-05 21:53:39 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-02-05 21:53:42 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 21:55:26 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-02-05 21:57:27 +0000 | bilegeek | (~bilegeek@2600:1008:b015:d0b:5741:22b9:5995:c1b0) (Quit: Leaving) |
| 2023-02-05 22:03:08 +0000 | esph | (~weechat@user/esph) |
| 2023-02-05 22:07:39 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-02-05 22:07:54 +0000 | ddellacosta | (~ddellacos@146.70.166.100) (Ping timeout: 260 seconds) |
| 2023-02-05 22:07:58 +0000 | ubert1 | (~Thunderbi@p200300ecdf13016caa4d3467f4e30a23.dip0.t-ipconnect.de) |
| 2023-02-05 22:08:31 +0000 | ubert | (~Thunderbi@p200300ecdf1301b122a4f37be5c9cfb5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-02-05 22:08:32 +0000 | 068AAD9K6 | ubert |
| 2023-02-05 22:08:32 +0000 | ubert | 068AAD9K6 |
| 2023-02-05 22:08:32 +0000 | ubert1 | 048AAGWNU |
| 2023-02-05 22:09:14 +0000 | tessier | (~treed@98.171.210.130) (Ping timeout: 255 seconds) |
| 2023-02-05 22:10:40 +0000 | tessier | (~treed@mobile-166-170-47-107.mycingular.net) |
| 2023-02-05 22:15:01 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:4d63:2b4e:3c7:c9ea) |
| 2023-02-05 22:16:58 +0000 | OscarZ | (~oscarz@85.194.207.103) (Quit: Leaving) |
| 2023-02-05 22:24:09 +0000 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Ping timeout: 256 seconds) |
| 2023-02-05 22:24:20 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-02-05 22:26:45 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-02-05 22:26:48 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-02-05 22:27:28 +0000 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-02-05 22:35:54 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 260 seconds) |
| 2023-02-05 22:42:54 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-05 22:43:29 +0000 | adium | (adium@user/adium) (Ping timeout: 260 seconds) |
| 2023-02-05 22:44:38 +0000 | <Inst_> | question |
| 2023-02-05 22:44:51 +0000 | <Inst_> | why is it possible to define a class that can't be instanced into? |
| 2023-02-05 22:45:06 +0000 | adium | (adium@user/adium) |
| 2023-02-05 22:45:07 +0000 | <Inst_> | class Lol where; topkek = "kek" |
| 2023-02-05 22:50:01 +0000 | <jackdk> | https://reasonablypolymorphic.com/blog/abusing-constraints/ |
| 2023-02-05 22:52:12 +0000 | danso | (danso@danso.ca) (Quit: ZNC - https://znc.in) |
| 2023-02-05 22:53:28 +0000 | <int-e> | Inst_: Hmm you can instantiate that, once. So you could use this to declare a "global" function that is instantiated later... (it's global in the sense that you can only define it once, but you will carry Foo => constraints everywhere you use it and it will be passed as an argument as a result) |
| 2023-02-05 22:54:24 +0000 | <int-e> | Or Lol => in your case. |
| 2023-02-05 22:54:27 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 22:54:31 +0000 | danso | (danso@danso.ca) |
| 2023-02-05 22:58:29 +0000 | danso | (danso@danso.ca) (Client Quit) |
| 2023-02-05 22:59:01 +0000 | <Inst_> | nice, thanks |
| 2023-02-05 23:00:44 +0000 | danso | (~danso@danso.ca) |
| 2023-02-05 23:02:28 +0000 | bilegeek | (~bilegeek@2600:1008:b098:686c:1177:15a4:77ec:44a0) |
| 2023-02-05 23:02:37 +0000 | offtherock | (~blurb@96.45.2.121) |
| 2023-02-05 23:03:19 +0000 | <jackdk> | Sandy also defines a couple in the link I posted |
| 2023-02-05 23:04:02 +0000 | rburkholder | (~blurb@96.45.2.121) (Quit: Leaving) |
| 2023-02-05 23:04:04 +0000 | offtherock | (~blurb@96.45.2.121) (Read error: Connection reset by peer) |
| 2023-02-05 23:04:26 +0000 | rburkholder | (~blurb@96.45.2.121) |
| 2023-02-05 23:04:32 +0000 | <Inst_> | weird, not working on ghc |
| 2023-02-05 23:04:37 +0000 | <Inst_> | erm, ghci |
| 2023-02-05 23:06:02 +0000 | <int-e> | % class Foo where foo :: Int; foo = 42 |
| 2023-02-05 23:06:02 +0000 | <yahb2> | <interactive>:18:1: error: ; • No parameters for class ‘Foo’ ; (Enable MultiParamTypeClasses to allow no-parameter classes) ; • In the class declaration for ‘Foo’ |
| 2023-02-05 23:06:18 +0000 | <int-e> | % :set -XMultiParamTypeClasses |
| 2023-02-05 23:06:18 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:06:21 +0000 | <int-e> | % class Foo where foo :: Int; foo = 42 |
| 2023-02-05 23:06:21 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:06:28 +0000 | <int-e> | % instance Foo where foo = 23 |
| 2023-02-05 23:06:28 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:06:31 +0000 | <int-e> | % foo |
| 2023-02-05 23:06:31 +0000 | <yahb2> | 23 |
| 2023-02-05 23:06:47 +0000 | rburkholder | (~blurb@96.45.2.121) (Remote host closed the connection) |
| 2023-02-05 23:07:09 +0000 | <int-e> | (just `instance Foo` would pick the default implementation `foo = 42`) |
| 2023-02-05 23:09:28 +0000 | rburkholder | (~blurb@96.45.2.121) |
| 2023-02-05 23:09:55 +0000 | <Inst_> | no, i mean, i can't get auto constraints via type inference, but I guess Sandy McGuire points out |
| 2023-02-05 23:10:12 +0000 | <Inst_> | how nullary typeclasses aren't a misfeature |
| 2023-02-05 23:10:57 +0000 | czy | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50)) |
| 2023-02-05 23:10:58 +0000 | <Inst_> | int-e: i was more complaining that I couldn't get ghc to type infer the constraint |
| 2023-02-05 23:11:19 +0000 | <jackdk> | see also: HasCallStack |
| 2023-02-05 23:11:22 +0000 | <geekosaur> | % :t foo |
| 2023-02-05 23:11:22 +0000 | <yahb2> | foo :: Int |
| 2023-02-05 23:11:27 +0000 | <int-e> | Ah I see, type inference doesn't work for this. |
| 2023-02-05 23:11:38 +0000 | <int-e> | geekosaur: that's after providing the instance |
| 2023-02-05 23:11:54 +0000 | <int-e> | Before that you get "No instance for Foo arising from a use of ‘foo’" |
| 2023-02-05 23:12:21 +0000 | <int-e> | But you /can/ do let x :: Foo => Int; x = foo |
| 2023-02-05 23:13:05 +0000 | <int-e> | (maybe newer ghci is better, still using 8.10 by default here) |
| 2023-02-05 23:14:32 +0000 | <int-e> | % :!ghci --version |
| 2023-02-05 23:15:02 +0000 | nunggu_ | (~q@user/nunggu) (Quit: nunggu_) |
| 2023-02-05 23:15:46 +0000 | <int-e> | % :show linker |
| 2023-02-05 23:15:46 +0000 | <yahb2> | ----- Linker state ----- ; Pkgs: [base-4.14.3.0, integer-gmp-1.0.3.0, ghc-prim-0.6.1, ; rts-1.0.1] ; Objs: [] ; BCOs: [LinkableM (2022-06-14 17:45:33.292275656 UTC) Yahb2Defs ; [BC... |
| 2023-02-05 23:16:03 +0000 | <int-e> | Looks like that's ghc-8.10.7 too. |
| 2023-02-05 23:16:08 +0000 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 23:16:14 +0000 | <int-e> | based on the version of `base. |
| 2023-02-05 23:16:59 +0000 | <int-e> | % print GHC.Version.cProjectVersion |
| 2023-02-05 23:16:59 +0000 | <yahb2> | "8.10.7" |
| 2023-02-05 23:19:09 +0000 | <Inst_> | int-e: so why bother with type inference, then? |
| 2023-02-05 23:19:16 +0000 | <Inst_> | erm, the constraint, then? |
| 2023-02-05 23:20:10 +0000 | <int-e> | Inst_: I don't know; maybe this is why I've never seen this pattern used :P |
| 2023-02-05 23:20:33 +0000 | <Inst_> | i can stuff a constraint in, the utility seems to be being able to stuff comments into an arbitrary nullary constraint |
| 2023-02-05 23:20:35 +0000 | <Inst_> | weird feature |
| 2023-02-05 23:21:04 +0000 | <int-e> | In any case there's no reason for the compiler to disallow it. And evidently (see above) it can be abused to do something actually useful. |
| 2023-02-05 23:21:28 +0000 | <geekosaur> | the compiler lets you do other useless things too… |
| 2023-02-05 23:22:07 +0000 | czy | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-02-05 23:22:19 +0000 | <int-e> | Inst_: I mean, compared to changing all functiont to `Int -> a`, if you have `Foo => a` instead you're (mostly; ghc's overlap check isn't perfect) guaranteed that every such function will receive the same value, statically. |
| 2023-02-05 23:22:31 +0000 | <geekosaur> | @let Just _ = Nothing -- unusable top level binding so never discovers the pattern match fails |
| 2023-02-05 23:22:33 +0000 | <lambdabot> | Defined. |
| 2023-02-05 23:22:50 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-02-05 23:22:58 +0000 | <int-e> | Inst_: maybe there's a place where this kind of thing has value |
| 2023-02-05 23:23:02 +0000 | int-e | shrugs |
| 2023-02-05 23:23:03 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 23:23:03 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-02-05 23:23:08 +0000 | danza | (~francesco@151.44.152.227) (Read error: Connection reset by peer) |
| 2023-02-05 23:23:17 +0000 | <geekosaur> | I think the only use I've seen for that was some kind of hacker contest |
| 2023-02-05 23:23:32 +0000 | <Inst_> | w/e, it's exotic, and I guess it's Haskelly to let people mess around and find ways to abuse nullary typeclasses |
| 2023-02-05 23:25:19 +0000 | czy` | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-02-05 23:25:26 +0000 | czy` | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-02-05 23:25:53 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-02-05 23:25:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-05 23:28:24 +0000 | <int-e> | Inst_: The fact that `:t foo` breaks when there's no instance indicates that people don't really use this feature; that smells like a bug and I would be surprised if it was super difficult to fix. |
| 2023-02-05 23:29:39 +0000 | <Inst_> | okay, posting to GHC issues now |
| 2023-02-05 23:29:50 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-02-05 23:29:56 +0000 | <int-e> | maybe there is one already? |
| 2023-02-05 23:31:53 +0000 | <unit73e> | good thing there's a log or I'd get very confused since I just joined |
| 2023-02-05 23:32:18 +0000 | jinsun | Guest5295 |
| 2023-02-05 23:32:19 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-02-05 23:32:19 +0000 | Guest5295 | (~jinsun@user/jinsun) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-02-05 23:32:19 +0000 | jinsun__ | jinsun |
| 2023-02-05 23:33:10 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 23:34:04 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 23:35:54 +0000 | <Inst_> | done |
| 2023-02-05 23:35:55 +0000 | <Inst_> | https://gitlab.haskell.org/ghc/ghc/-/issues/22907 |
| 2023-02-05 23:36:26 +0000 | <Inst_> | tried nullary typeclass, nullary type parameter |
| 2023-02-05 23:36:44 +0000 | <jackdk> | int-e: That would force every caller of a HasCallStack function to add it to their context, no? |
| 2023-02-05 23:37:51 +0000 | <int-e> | Inst_: Where's the "where" keyword? |
| 2023-02-05 23:38:02 +0000 | <Inst_> | class Foo works |
| 2023-02-05 23:38:45 +0000 | danza | (~francesco@151.47.50.166) |
| 2023-02-05 23:38:54 +0000 | <int-e> | % :quit |
| 2023-02-05 23:38:54 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:38:57 +0000 | <int-e> | % class Foo |
| 2023-02-05 23:38:57 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:39:06 +0000 | <int-e> | % u :: Foo => Int; u = 3 |
| 2023-02-05 23:39:06 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:39:10 +0000 | <int-e> | % u |
| 2023-02-05 23:39:10 +0000 | <yahb2> | <interactive>:8:1: error: ; • No instance for Foo arising from a use of ‘u’ ; • In the expression: u ; In an equation for ‘it’: it = u |
| 2023-02-05 23:39:14 +0000 | <int-e> | % :t u |
| 2023-02-05 23:39:14 +0000 | <yahb2> | <interactive>:1:1: error: ; • No instance for Foo arising from a use of ‘u’ ; • In the expression: u |
| 2023-02-05 23:39:32 +0000 | <Inst_> | % :quit |
| 2023-02-05 23:39:32 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:39:38 +0000 | <Inst_> | %: class Foo where |
| 2023-02-05 23:39:45 +0000 | <Inst_> | % u :: Foo => Int; u = 3 |
| 2023-02-05 23:39:45 +0000 | <yahb2> | <interactive>:4:6: error: ; Not in scope: type constructor or class ‘Foo’ |
| 2023-02-05 23:39:58 +0000 | <Inst_> | % class Foo where |
| 2023-02-05 23:39:58 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:40:02 +0000 | <Inst_> | % u :: Foo => Int; u = 3 |
| 2023-02-05 23:40:02 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:40:03 +0000 | <Inst_> | u |
| 2023-02-05 23:40:05 +0000 | <Inst_> | % u |
| 2023-02-05 23:40:05 +0000 | <yahb2> | <interactive>:10:1: error: ; • No instance for Foo arising from a use of ‘u’ ; • In the expression: u ; In an equation for ‘it’: it = u |
| 2023-02-05 23:40:13 +0000 | <Inst_> | % instance Foo |
| 2023-02-05 23:40:13 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:40:18 +0000 | <Inst_> | % u |
| 2023-02-05 23:40:18 +0000 | <yahb2> | 3 |
| 2023-02-05 23:40:46 +0000 | <int-e> | all that is expected |
| 2023-02-05 23:40:47 +0000 | czy | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-02-05 23:40:57 +0000 | <Inst_> | % :quit |
| 2023-02-05 23:40:57 +0000 | <yahb2> | <no output> |
| 2023-02-05 23:40:58 +0000 | <int-e> | what isn't expected (to me) is that :t u fails |
| 2023-02-05 23:42:52 +0000 | <int-e> | and, relatedly, that defining non-monomorphic functions using Foo also fails: v () = u gives a type error instead of inferring v :: Foo => () -> Int |
| 2023-02-05 23:44:23 +0000 | <int-e> | Inst_: if you expand the "steps to reproduce" in the description, it will be a much better report. |
| 2023-02-05 23:44:39 +0000 | tessier | (~treed@mobile-166-170-47-107.mycingular.net) (Ping timeout: 252 seconds) |
| 2023-02-05 23:47:05 +0000 | <Inst_> | done, as per requested |