| 2024-11-19 00:02:46 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-19 00:19:04 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 252 seconds) |
| 2024-11-19 00:21:21 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f69701fb6560bc0f0be.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-11-19 00:23:00 +0100 | <iteratee> | briandead: Yes, it looks like that was fixed for reading from a file, but it was left unchanged for reading from a bytestring. |
| 2024-11-19 00:25:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-19 00:28:20 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2024-11-19 00:35:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-19 00:52:35 +0100 | Alleria_ | (~Alleria@user/alleria) Alleria |
| 2024-11-19 00:53:01 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-19 00:56:50 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 272 seconds) |
| 2024-11-19 00:59:00 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-11-19 00:59:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-11-19 01:01:55 +0100 | Everything | (~Everythin@31.144.80.156) (Quit: leaving) |
| 2024-11-19 01:11:29 +0100 | alp | (~alp@2001:861:e3d6:8f80:568b:9761:243e:95b5) (Ping timeout: 248 seconds) |
| 2024-11-19 01:14:18 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-19 01:19:26 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2024-11-19 01:19:32 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-19 01:20:56 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-11-19 01:25:35 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-19 01:27:29 +0100 | Alleria_ | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
| 2024-11-19 01:41:16 +0100 | sprotte24 | (~sprotte24@p200300d16f36e9004570e4f99d260ace.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-19 01:48:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-19 01:48:11 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-19 01:53:14 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2024-11-19 01:54:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-19 02:04:11 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-11-19 02:06:18 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-19 02:06:44 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 2024-11-19 02:10:27 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-11-19 02:12:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-19 02:14:24 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 246 seconds) |
| 2024-11-19 02:24:42 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-19 02:27:47 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-19 02:47:56 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-11-19 02:48:04 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) son0p |
| 2024-11-19 02:51:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-19 03:02:06 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-19 03:02:19 +0100 | Guest49 | (~Guest49@2001:16a2:cf8d:df00:80b8:7a13:6821:1741) |
| 2024-11-19 03:02:37 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 03:03:03 +0100 | Guest49 | (~Guest49@2001:16a2:cf8d:df00:80b8:7a13:6821:1741) (Client Quit) |
| 2024-11-19 03:03:51 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2024-11-19 03:12:17 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-19 03:12:48 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 03:16:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-11-19 03:20:31 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-11-19 03:22:08 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-19 03:22:28 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-19 03:22:59 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 03:32:39 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-19 03:33:40 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 03:42:50 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-19 03:43:21 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 03:45:27 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-11-19 03:53:01 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-19 03:53:32 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 04:03:12 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-19 04:03:42 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 04:06:08 +0100 | euleritian | (~euleritia@dynamic-176-002-004-196.176.2.pool.telefonica.de) (Remote host closed the connection) |
| 2024-11-19 04:06:28 +0100 | euleritian | (~euleritia@dynamic-176-002-004-196.176.2.pool.telefonica.de) |
| 2024-11-19 04:07:03 +0100 | euleritian | (~euleritia@dynamic-176-002-004-196.176.2.pool.telefonica.de) (Remote host closed the connection) |
| 2024-11-19 04:07:20 +0100 | euleritian | (~euleritia@dynamic-176-002-004-196.176.2.pool.telefonica.de) |
| 2024-11-19 04:13:07 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-19 04:13:23 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-19 04:13:54 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 04:18:40 +0100 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-19 04:20:57 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2024-11-19 04:21:12 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) (Ping timeout: 276 seconds) |
| 2024-11-19 04:22:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-19 04:30:19 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-19 04:30:49 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 04:32:48 +0100 | Alleria | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-19 04:35:43 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-19 04:35:54 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 260 seconds) |
| 2024-11-19 04:36:49 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2024-11-19 04:36:50 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-19 04:38:22 +0100 | dpk | (~dpk@jains.nonceword.org) |
| 2024-11-19 04:49:05 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-11-19 04:55:41 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-11-19 04:58:26 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-19 05:03:16 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-19 05:03:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-11-19 05:03:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-19 05:37:41 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-11-19 05:37:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-19 05:38:42 +0100 | califax | (~califax@user/califx) califx |
| 2024-11-19 05:51:49 +0100 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2024-11-19 05:55:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-11-19 06:06:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-11-19 06:13:37 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 265 seconds) |
| 2024-11-19 06:20:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-19 06:31:39 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) son0p |
| 2024-11-19 06:34:47 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-19 06:43:19 +0100 | michalz | (~michalz@185.246.207.193) |
| 2024-11-19 06:58:53 +0100 | euleritian | (~euleritia@dynamic-176-002-004-196.176.2.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-11-19 06:59:24 +0100 | euleritian | (~euleritia@dynamic-176-007-203-044.176.7.pool.telefonica.de) |
| 2024-11-19 07:07:28 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-19 07:07:29 +0100 | alp | (~alp@2001:861:8ca0:4940:9ecb:356a:49a5:63a3) |
| 2024-11-19 07:19:18 +0100 | unalmasIRC | (~alphazone@2.219.56.221) (Ping timeout: 276 seconds) |
| 2024-11-19 07:23:26 +0100 | briandaed | (~root@user/briandaed) briandaed |
| 2024-11-19 07:25:30 +0100 | euleritian | (~euleritia@dynamic-176-007-203-044.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-11-19 07:25:38 +0100 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-19 07:25:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-11-19 07:30:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-19 07:38:45 +0100 | euleritian | (~euleritia@77.22.252.159) (Ping timeout: 248 seconds) |
| 2024-11-19 07:39:29 +0100 | euleritian | (~euleritia@dynamic-176-006-146-018.176.6.pool.telefonica.de) |
| 2024-11-19 07:44:58 +0100 | euleritian | (~euleritia@dynamic-176-006-146-018.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-19 07:45:38 +0100 | euleritian | (~euleritia@dynamic-176-006-146-018.176.6.pool.telefonica.de) |
| 2024-11-19 07:50:14 +0100 | euleritian | (~euleritia@dynamic-176-006-146-018.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-19 07:50:31 +0100 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-19 07:56:16 +0100 | alphazone | (~alphazone@2.219.56.221) |
| 2024-11-19 07:57:32 +0100 | euleritian | (~euleritia@77.22.252.159) (Ping timeout: 265 seconds) |
| 2024-11-19 07:59:58 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-19 08:00:05 +0100 | euleritian | (~euleritia@dynamic-176-006-146-018.176.6.pool.telefonica.de) |
| 2024-11-19 08:00:53 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f33f1310e0154b357f3.dip0.t-ipconnect.de) |
| 2024-11-19 08:04:21 +0100 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) (Ping timeout: 252 seconds) |
| 2024-11-19 08:05:10 +0100 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) |
| 2024-11-19 08:17:59 +0100 | zlqrvx_ | (~zlqrvx@2001:8003:8c8b:e00:58ff:a30c:881f:1fe4) (Quit: %quit%) |
| 2024-11-19 08:18:00 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-19 08:24:50 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-19 08:29:02 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (Ping timeout: 272 seconds) |
| 2024-11-19 08:29:25 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) |
| 2024-11-19 08:33:16 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2024-11-19 08:55:12 +0100 | alp | (~alp@2001:861:8ca0:4940:9ecb:356a:49a5:63a3) (Remote host closed the connection) |
| 2024-11-19 08:55:29 +0100 | alp | (~alp@2001:861:8ca0:4940:e2f7:5955:8ab2:2afc) |
| 2024-11-19 08:58:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-19 08:59:49 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-19 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-19 09:00:41 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-19 09:03:22 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) misterfish |
| 2024-11-19 09:19:29 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-19 09:29:55 +0100 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-19 09:30:58 +0100 | euleritian | (~euleritia@dynamic-176-006-146-018.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-19 09:31:15 +0100 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-19 09:31:35 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2024-11-19 09:32:24 +0100 | rootnode` | (~user@softbank126206228003.bbtec.net) |
| 2024-11-19 09:32:36 +0100 | rootnode` | (~user@softbank126206228003.bbtec.net) (Client Quit) |
| 2024-11-19 09:33:06 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-19 09:36:55 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-11-19 09:37:45 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-11-19 09:46:39 +0100 | euleritian | (~euleritia@77.22.252.159) (Ping timeout: 252 seconds) |
| 2024-11-19 09:47:21 +0100 | euleritian | (~euleritia@dynamic-176-006-146-018.176.6.pool.telefonica.de) |
| 2024-11-19 09:52:02 +0100 | ft | (~ft@p4fc2a26f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-11-19 09:52:16 +0100 | ski | (~ski@remote11.chalmers.se) (Read error: Connection reset by peer) |
| 2024-11-19 09:54:20 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-19 09:54:57 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-19 09:58:19 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-19 09:59:00 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert |
| 2024-11-19 10:03:54 +0100 | chele | (~chele@user/chele) chele |
| 2024-11-19 10:04:21 +0100 | shilowon | (~Guest4@105.112.117.167) |
| 2024-11-19 10:04:25 +0100 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2024-11-19 10:04:47 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-19 10:06:19 +0100 | euleritian | (~euleritia@dynamic-176-006-146-018.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-19 10:06:36 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-19 10:08:47 +0100 | divya` | (~user@139.5.11.231) |
| 2024-11-19 10:09:25 +0100 | divya | (~user@139.5.11.231) (Read error: Connection reset by peer) |
| 2024-11-19 10:13:05 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-19 10:14:29 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 248 seconds) |
| 2024-11-19 10:17:26 +0100 | <Leary> | So I'm generating instances with TH, but I'm not sure how best to deal with messy constraints. I can generate a /sufficient/ (highly redundant and simplifiable) constraint easily, but cleaning it up looks to be quite a hassle. Any tips? |
| 2024-11-19 10:23:37 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-19 10:25:26 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-19 10:35:37 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-11-19 10:37:15 +0100 | shilowon | (~Guest4@105.112.117.167) (Quit: Ping timeout (120 seconds)) |
| 2024-11-19 10:41:00 +0100 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-11-19 10:41:18 +0100 | sroso | (~sroso@user/SrOso) SrOso |
| 2024-11-19 10:42:28 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-11-19 10:44:28 +0100 | Guest4 | (~Guest4@105.112.117.167) |
| 2024-11-19 10:53:34 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-19 10:54:11 +0100 | Guest4 | (~Guest4@105.112.117.167) (Quit: Ping timeout (120 seconds)) |
| 2024-11-19 10:55:35 +0100 | <jackdk> | Generate deriving via instances instead of generating the constraint directly, maybe? |
| 2024-11-19 10:55:54 +0100 | carbolymer | (~carbolyme@dropacid.net) (Read error: Connection reset by peer) |
| 2024-11-19 10:58:11 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 255 seconds) |
| 2024-11-19 11:02:09 +0100 | <Leary> | jackdk: Hmmm. So the idea is to hide the messy instances by tying them to a private newtype wrapper, then produce a standalone `deriving instance ... via ...` declaration, for which GHC would infer a clean context? Sounds feasible... |
| 2024-11-19 11:05:43 +0100 | Guest4 | (~Guest4@102.91.71.26) |
| 2024-11-19 11:06:05 +0100 | Guest4 | (~Guest4@102.91.71.26) (Client Quit) |
| 2024-11-19 11:06:35 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-19 11:06:41 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-11-19 11:07:15 +0100 | Guest4 | (~Guest4@102.91.71.26) |
| 2024-11-19 11:07:21 +0100 | Guest4 | (~Guest4@102.91.71.26) (Client Quit) |
| 2024-11-19 11:12:58 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-19 11:13:12 +0100 | <jackdk> | Something like that. I don't know enough about your problem to be sure |
| 2024-11-19 11:18:31 +0100 | <Leary> | jackdk: For e.g. `type data Wibble = Wobble Foo | Nibble Wibble Wibble` I'm writing TH that ought to generate `deriving instance Show (Wibble @ t)` given that we already have `Show! Foo` in scope, but really it will generate `deriving instance (Show! Foo, Show! Wibble, Show! Wibble) => Show (Wibble @ t)`. |
| 2024-11-19 11:19:23 +0100 | <Leary> | (where `type f ! k = forall t. f (k @ t)`) |
| 2024-11-19 11:21:54 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-19 11:23:37 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2024-11-19 11:53:16 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-19 12:01:56 +0100 | <kuribas> | Would it be possible to train a llm to generate better error messages? |
| 2024-11-19 12:02:31 +0100 | <Hecate> | kuribas: hahahahahahaha |
| 2024-11-19 12:02:32 +0100 | <Hecate> | you silly |
| 2024-11-19 12:02:33 +0100 | <Hecate> | :P |
| 2024-11-19 12:03:01 +0100 | <int-e> | @ghc |
| 2024-11-19 12:03:01 +0100 | <lambdabot> | Its main purpose is to encapsulate the Horrible State Hack |
| 2024-11-19 12:03:04 +0100 | <kuribas> | Is that so outrageous? |
| 2024-11-19 12:03:20 +0100 | <int-e> | @ghc |
| 2024-11-19 12:03:20 +0100 | <lambdabot> | the eta-reduction property does not hold |
| 2024-11-19 12:03:28 +0100 | <Hecate> | kuribas: no it's not outrageous, it's ridiculous :P |
| 2024-11-19 12:03:30 +0100 | <int-e> | kuribas: define "better" |
| 2024-11-19 12:03:41 +0100 | <kuribas> | More beginner friendly. |
| 2024-11-19 12:04:00 +0100 | <int-e> | but error messages need to be accurate |
| 2024-11-19 12:04:02 +0100 | <kuribas> | I am happy with GHC error messages, but I am interested in creating a general purpose dependently typed language. |
| 2024-11-19 12:04:06 +0100 | <int-e> | and LLMs are terrible at that |
| 2024-11-19 12:04:11 +0100 | <Hecate> | kuribas: To rephrase your suggestion: "Would it be possible to train an LLM on an existing dataset to generate new things, which an LLM simply cannot?" |
| 2024-11-19 12:04:35 +0100 | <kuribas> | Or maybe elaborate a bit then? |
| 2024-11-19 12:04:40 +0100 | <Hecate> | kuribas: ah, DT languages with good ergonomics are something that need you to advance the state of the art |
| 2024-11-19 12:04:52 +0100 | <kuribas> | Hecate: agreed :) |
| 2024-11-19 12:04:53 +0100 | <Hecate> | best case, an LLM will feed off of your work later |
| 2024-11-19 12:05:07 +0100 | <kuribas> | When dabbling with idris I feel there is a lot of low hanging fruit there. |
| 2024-11-19 12:05:14 +0100 | <Hecate> | there are indeed |
| 2024-11-19 12:05:16 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2024-11-19 12:05:23 +0100 | <Hecate> | maybe improve idris too while you're at it? :D |
| 2024-11-19 12:05:33 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert |
| 2024-11-19 12:05:35 +0100 | <kuribas> | yeah ... |
| 2024-11-19 12:05:52 +0100 | <kuribas> | One blocking issue for me with idris and error messages is the ad-hoc polymorphism. |
| 2024-11-19 12:06:05 +0100 | <kuribas> | Which makes getting accurate error message difficult. |
| 2024-11-19 12:06:18 +0100 | <kuribas> | And type checking very slow. |
| 2024-11-19 12:07:20 +0100 | <kuribas> | It's a nice to have in idris, because it allows syntactic overloading, but I am not sure it is necessary to have. |
| 2024-11-19 12:09:56 +0100 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2024-11-19 12:10:02 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-11-19 12:10:30 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-11-19 12:10:49 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-19 12:11:12 +0100 | <kuribas> | For example, do can be overloaded by defining your own (>>=) function. |
| 2024-11-19 12:21:35 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert |
| 2024-11-19 12:29:18 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-19 12:29:34 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2024-11-19 12:31:19 +0100 | <geekosaur> | we have that in at least two ways though (RebindableSyntax and QualifiedDo) |
| 2024-11-19 12:31:19 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-19 12:32:28 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-19 12:34:08 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-19 12:36:54 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-19 12:38:18 +0100 | euleritian | (~euleritia@dynamic-176-001-000-183.176.1.pool.telefonica.de) |
| 2024-11-19 12:39:20 +0100 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-11-19 12:40:42 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-19 12:42:10 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-11-19 12:43:05 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-19 12:45:55 +0100 | <hellwolf> | what's the standard "hush" function for Ether a b -> Maybe b? |
| 2024-11-19 12:45:58 +0100 | <hellwolf> | I can't find one. |
| 2024-11-19 12:46:39 +0100 | sprotte24 | (~sprotte24@p200300d16f3e1d00202469f625d2cba6.dip0.t-ipconnect.de) |
| 2024-11-19 12:46:47 +0100 | <mari-estel> | @hoogle Either a b -> Maybe b |
| 2024-11-19 12:46:48 +0100 | <lambdabot> | Data.Either.Combinators rightToMaybe :: Either a b -> Maybe b |
| 2024-11-19 12:46:48 +0100 | <lambdabot> | Data.Either.Extra eitherToMaybe :: Either a b -> Maybe b |
| 2024-11-19 12:46:48 +0100 | <lambdabot> | Extra eitherToMaybe :: Either a b -> Maybe b |
| 2024-11-19 12:47:08 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert |
| 2024-11-19 12:47:12 +0100 | <mari-estel> | @hoogle Either a b -> Maybe a |
| 2024-11-19 12:47:13 +0100 | <lambdabot> | Data.Either.Combinators leftToMaybe :: Either a b -> Maybe a |
| 2024-11-19 12:47:13 +0100 | <lambdabot> | Rebase.Prelude leftToMaybe :: () => Either a b -> Maybe a |
| 2024-11-19 12:47:13 +0100 | <lambdabot> | Protolude leftToMaybe :: Either l r -> Maybe l |
| 2024-11-19 12:47:29 +0100 | <hellwolf> | so lambdabot doesn't show which package it's from. |
| 2024-11-19 12:47:41 +0100 | sprotte24 | (~sprotte24@p200300d16f3e1d00202469f625d2cba6.dip0.t-ipconnect.de) (Client Quit) |
| 2024-11-19 12:47:47 +0100 | <hellwolf> | but I can't find it from base... :/ |
| 2024-11-19 12:48:03 +0100 | <geekosaur> | it's not in base |
| 2024-11-19 12:48:26 +0100 | <geekosaur> | eitherToMaybe = either Nothing Just |
| 2024-11-19 12:48:35 +0100 | <geekosaur> | er |
| 2024-11-19 12:48:42 +0100 | <geekosaur> | eitherToMaybe = either (const Nothing) Just |
| 2024-11-19 12:49:16 +0100 | <dminuoso> | It's usually called `hush` |
| 2024-11-19 12:49:25 +0100 | <geekosaur> | I think losing information is not encouraged, though |
| 2024-11-19 12:50:01 +0100 | <dminuoso> | Every non-injective loses information. :-) |
| 2024-11-19 12:51:11 +0100 | <hellwolf> | yea, fair enough. in this case, the error information is not too useful in production. |
| 2024-11-19 12:51:24 +0100 | <hellwolf> | I opt just inline it: case S.decode bs of Left _ -> Nothing; Right a -> Just (ADDR a) |
| 2024-11-19 12:52:00 +0100 | <dminuoso> | hellwolf: You can alsoo just write `either Nothing Just` inline. |
| 2024-11-19 12:52:15 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 2024-11-19 12:52:23 +0100 | <dminuoso> | Or `either nothing (Just . Addr)` in your case. |
| 2024-11-19 12:52:45 +0100 | <hellwolf> | That's smart |
| 2024-11-19 12:53:22 +0100 | <Leary> | % :t asum . fmap Just |
| 2024-11-19 12:53:22 +0100 | <yahb2> | asum . fmap Just :: (Foldable t, Functor t) => t a -> Maybe a |
| 2024-11-19 12:53:28 +0100 | <Leary> | Another option. |
| 2024-11-19 12:53:36 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot |
| 2024-11-19 12:53:53 +0100 | <hellwolf> | $ echo 'make this shorter: case S.decode bs of Left _ -> Nothing; Right a -> Just (ADDR a)' | chatgpt |
| 2024-11-19 12:53:53 +0100 | <hellwolf> | This: S.decode bs >>= Just . ADDR |
| 2024-11-19 12:54:13 +0100 | <dminuoso> | That looks wrong |
| 2024-11-19 12:54:35 +0100 | <hellwolf> | it compiles. actually it's correct. since Either is a monad |
| 2024-11-19 12:54:45 +0100 | <hellwolf> | no, it doesn't compile |
| 2024-11-19 12:54:46 +0100 | <hellwolf> | sorry |
| 2024-11-19 12:54:48 +0100 | <hellwolf> | bad gpt |
| 2024-11-19 12:54:59 +0100 | <dminuoso> | hellwolf: Here's a quick hint |
| 2024-11-19 12:55:02 +0100 | <dminuoso> | :t (>>=) |
| 2024-11-19 12:55:03 +0100 | <lambdabot> | Monad m => m a -> (a -> m b) -> m b |
| 2024-11-19 12:55:14 +0100 | <dminuoso> | Note that it's the same `m` here in both arguments and the resultg? |
| 2024-11-19 12:56:10 +0100 | <hellwolf> | yea, got it, it would stay Either |
| 2024-11-19 12:56:43 +0100 | <hellwolf> | but "either" is good. here shows my lack of production experience of Haskell, in general. I only plays around :) |
| 2024-11-19 12:57:47 +0100 | <dminuoso> | No worries. Leary's answer is more clever, though if you are curious. |
| 2024-11-19 12:59:33 +0100 | <hellwolf> | yes, that's interest. but I had to import Data.Applicative |
| 2024-11-19 12:59:54 +0100 | <hellwolf> | same for nothing <-- where is it even from? I used Const nothing |
| 2024-11-19 13:00:04 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) (Ping timeout: 260 seconds) |
| 2024-11-19 13:00:09 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-19 13:00:23 +0100 | <dminuoso> | hellwolf: You can use hoogle https://hoogle.haskell.org/?hoogle=nothing to discover likely origins of identifiers. |
| 2024-11-19 13:01:09 +0100 | <dminuoso> | As you can see, it's from other packages. I think hoogle always lists `base` references first. |
| 2024-11-19 13:01:33 +0100 | <dminuoso> | (Or maybe its defined in some module in your project) |
| 2024-11-19 13:02:01 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-19 13:03:22 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-11-19 13:03:31 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-19 13:05:40 +0100 | <hellwolf> | I can't wrap my head around intuitively wrt asum. fmap Just. I can see the type matches. |
| 2024-11-19 13:05:41 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-11-19 13:05:41 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-19 13:05:58 +0100 | <hellwolf> | "The sum of a collection of actions using (<|>), generalizing concat." |
| 2024-11-19 13:07:40 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-19 13:07:46 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-19 13:08:08 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-19 13:09:03 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-11-19 13:10:52 +0100 | <kuribas> | geekosaur: It's not the same. In haskell you must have a non ambiguous way to resolve (>>=), but in idris it's overloaded, it will do a search. |
| 2024-11-19 13:11:57 +0100 | <kuribas> | geekosaur: rebindable syntax will use the (>>=) in scope, but in idris it will try every definition of (>>=), and pick the one that typechecks.. |
| 2024-11-19 13:12:56 +0100 | <Leary> | Sounds evil. Isn't that just IncoherentInstances? |
| 2024-11-19 13:14:20 +0100 | <kuribas> | Leary: no, that's just type checking, implicit resolution and proof search are different features. |
| 2024-11-19 13:14:30 +0100 | <kuribas> | instance resolution corresponds to proof search. |
| 2024-11-19 13:14:46 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-11-19 13:14:59 +0100 | <kuribas> | Literally. They merged the auto implicit feature and type classes. |
| 2024-11-19 13:15:06 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-19 13:15:16 +0100 | euleritian | (~euleritia@dynamic-176-001-000-183.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-19 13:15:28 +0100 | <dminuoso> | Sounds like the type system way of duck typing. :-) |
| 2024-11-19 13:15:34 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-19 13:15:48 +0100 | <dminuoso> | If it type checks like a duck, we shall make it a duck. |
| 2024-11-19 13:16:15 +0100 | <kuribas> | Isn't duck typing the equivalent of type classes? |
| 2024-11-19 13:17:25 +0100 | <dminuoso> | Id say not really. |
| 2024-11-19 13:18:26 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-19 13:18:42 +0100 | <kuribas> | Well, if duck typing is structural typing, then idris doesn't have it, but it's possible to emulate it with dependent types. |
| 2024-11-19 13:18:44 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-11-19 13:19:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-19 13:19:06 +0100 | <kuribas> | For example anonymous records. |