Newest at the top
| 2024-10-30 12:15:23 +0100 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2024-10-30 12:15:05 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-30 12:13:39 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-10-30 12:11:14 +0100 | <tomsmeding> | ph88: I wrote some text for the error message index so that you can find some of this wisdom there too :) https://github.com/haskellfoundation/error-message-index/pull/548 |
| 2024-10-30 12:09:38 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 2024-10-30 12:09:05 +0100 | xff0x | (~xff0x@2405:6580:b080:900:adf3:98f8:7ac2:6549) |
| 2024-10-30 12:03:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 12:01:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 11:55:20 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-30 11:50:50 +0100 | <jackdk> | oh that's evil |
| 2024-10-30 11:46:21 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-30 11:46:02 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-30 11:45:33 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-30 11:40:55 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2024-10-30 11:39:49 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-10-30 11:39:17 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2024-10-30 11:39:00 +0100 | probie | (cc0b34050a@user/probie) probie |
| 2024-10-30 11:33:55 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-30 11:33:08 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2024-10-30 11:29:07 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2024-10-30 11:29:04 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-10-30 11:28:45 +0100 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2024-10-30 11:22:05 +0100 | chele | (~chele@user/chele) chele |
| 2024-10-30 11:21:42 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2024-10-30 11:18:58 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2024-10-30 11:18:55 +0100 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2024-10-30 11:18:48 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2024-10-30 11:18:43 +0100 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) henrytill |
| 2024-10-30 11:18:38 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2024-10-30 11:18:16 +0100 | tok | (da65c7b04b@user/tok) tok |
| 2024-10-30 11:18:04 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2024-10-30 11:18:01 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-10-30 11:17:59 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2024-10-30 11:17:59 +0100 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2024-10-30 11:17:41 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2024-10-30 11:17:05 +0100 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 255 seconds) |
| 2024-10-30 11:16:48 +0100 | <tomsmeding> | yes |
| 2024-10-30 11:16:11 +0100 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2024-10-30 11:15:25 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-10-30 11:14:21 +0100 | ph88^ | (~ph88@2a02:8109:9e26:c800:ed53:7d07:6030:570a) (Ping timeout: 265 seconds) |
| 2024-10-30 11:13:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 11:13:28 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2024-10-30 11:12:51 +0100 | <ph88> | You mean this list? https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/existential_quantification.html#res… |
| 2024-10-30 11:12:37 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-30 11:11:56 +0100 | <tomsmeding> | nice, this list is cool, I should have read it years ago |
| 2024-10-30 11:11:30 +0100 | <tomsmeding> | apparently this is not sufficient reason to lift the restricion :p |
| 2024-10-30 11:11:10 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:c35a:a881:34b9:612a) ph88 |
| 2024-10-30 11:11:08 +0100 | <tomsmeding> | lol, re the third bullet point: the fact that newtypes cannot be existential leads to this data type https://hackage.haskell.org/package/some-1.0.6/docs/Data-Some.html having a very evil implementation |
| 2024-10-30 11:08:49 +0100 | <ph88^> | thanks! i'll see if i can understand it |
| 2024-10-30 11:08:47 +0100 | <tomsmeding> | apparently it's "otherwise the implementation gets even more complicated" :D |