Newest at the top
| 2025-02-11 02:57:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-11 02:52:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 02:49:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-11 02:45:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 02:43:56 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-02-11 02:39:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-11 02:38:21 +0100 | <lisbeths> | bash_macros(){ while read -r i; do eval "$( printf "%s" "$i" | awk "$1" ; )" ; done ; } ; |
| 2025-02-11 02:34:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-11 02:29:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 02:25:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-02-11 02:24:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-11 02:20:41 +0100 | hammond | (proscan@gateway04.insomnia247.nl) |
| 2025-02-11 02:20:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
| 2025-02-11 02:19:50 +0100 | neto | (~Netnet@143-208-42-129.users.certto.com.br) (Remote host closed the connection) |
| 2025-02-11 02:19:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-11 02:19:29 +0100 | euouae | (~euouae@user/euouae) (Remote host closed the connection) |
| 2025-02-11 02:14:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 02:14:00 +0100 | neto | (~Netnet@143-208-42-129.users.certto.com.br) |
| 2025-02-11 02:09:39 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2025-02-11 02:07:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-11 02:04:53 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-11 02:03:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-11 02:03:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 02:02:01 +0100 | sprotte24 | (~sprotte24@p200300d16f01b7005c77723fc43a3702.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-11 01:59:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 01:58:39 +0100 | hammond | (proscan@gateway04.insomnia247.nl) (Ping timeout: 246 seconds) |
| 2025-02-11 01:48:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-11 01:43:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 01:43:18 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f999088022741b454a0.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-11 01:35:15 +0100 | <lyxia> | Very cursed, thank you :) |
| 2025-02-11 01:32:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-11 01:27:49 +0100 | <Leary> | There's also a similar trick to give the constructor a constraint, so long as any runtime data can be computed from the argument: https://gist.github.com/LSLeary/ef0f75468938fa6ff505331171bb011c |
| 2025-02-11 01:25:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 01:22:39 +0100 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2025-02-11 01:21:51 +0100 | <Leary> | lyxia: You can use a smart constructor that secretly `unsafeCoerce`s the hidden type to `Any`, then provide a Rank2 `withFoo` for unwrapping. See `Data.Some.Newtype` for an example in the wild. |
| 2025-02-11 01:19:58 +0100 | ljdarj1 | ljdarj |
| 2025-02-11 01:19:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-02-11 01:19:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-11 01:17:47 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-11 01:16:54 +0100 | <lyxia> | I somehow need existential newtypes in Haskell... are there any workarounds (or have they been implemented already)? |
| 2025-02-11 01:15:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 01:14:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-11 01:13:13 +0100 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
| 2025-02-11 01:10:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 01:07:21 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-11 00:59:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-11 00:54:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 00:53:48 +0100 | otbergsten | (~otbergste@user/otbergsten) (Remote host closed the connection) |
| 2025-02-11 00:53:47 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-11 00:44:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |