Newest at the top
| 2026-04-03 19:35:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-03 19:30:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-03 19:20:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-03 19:19:14 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2026-04-03 19:16:45 +0000 | koz | (~koz@121.99.240.58) |
| 2026-04-03 19:14:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-03 19:14:43 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
| 2026-04-03 19:12:57 +0000 | srk | (~sorki@user/srk) srk |
| 2026-04-03 19:08:53 +0000 | srk | (~sorki@user/srk) (Ping timeout: 244 seconds) |
| 2026-04-03 19:03:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-03 18:59:44 +0000 | Digit | (~user@user/digit) Digit |
| 2026-04-03 18:58:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-03 18:55:56 +0000 | <lambdabot> | Void -> a |
| 2026-04-03 18:55:55 +0000 | <tomsmeding> | :t absurd |
| 2026-04-03 18:53:49 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-04-03 18:52:04 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-03 18:48:23 +0000 | absurdvoid | (~absurdvoi@user/absurdvoid) absurdvoid |
| 2026-04-03 18:47:46 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-04-03 18:45:36 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-04-03 18:43:24 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-03 18:40:43 +0000 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Quit: Lost terminal) |
| 2026-04-03 18:37:06 +0000 | <lambdabot> | Void -> p |
| 2026-04-03 18:37:05 +0000 | <gentauro> | :t \ (a :: Void) -> case a of {} |
| 2026-04-03 18:36:47 +0000 | <lambdabot> | p1 -> p2 |
| 2026-04-03 18:36:46 +0000 | <gentauro> | :t \ a -> case a of {} |
| 2026-04-03 18:35:59 +0000 | <lambdabot> | error: [GHC-58481] parse error on input ‘{’ |
| 2026-04-03 18:35:58 +0000 | <gentauro> | :t \ _ -> {} |
| 2026-04-03 18:34:42 +0000 | <lambdabot> | Void -> [Void] |
| 2026-04-03 18:34:41 +0000 | <gentauro> | :t \ (x :: Void) -> [x] |
| 2026-04-03 18:32:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-03 18:27:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-03 18:25:54 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-04-03 18:22:27 +0000 | absurdvoid | (~absurdvoi@user/absurdvoid) (Quit: WeeChat 4.8.2) |
| 2026-04-03 18:14:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-03 18:13:59 +0000 | byorgey | (~byorgey@user/byorgey) byorgey |
| 2026-04-03 18:13:59 +0000 | byorgey | (~byorgey@155.138.238.211) (Changing host) |
| 2026-04-03 18:13:59 +0000 | byorgey | (~byorgey@155.138.238.211) |
| 2026-04-03 18:08:06 +0000 | confusedalex_ | confusedalex |
| 2026-04-03 18:08:06 +0000 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 255 seconds) |
| 2026-04-03 18:07:15 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-04-03 18:07:02 +0000 | confusedalex_ | (~confuseda@user/confusedalex) confusedalex |
| 2026-04-03 17:59:31 +0000 | <dolio> | Like, there is T parametricity for a class of types if for all A in that class, functions T -> A must be constant, or something. |
| 2026-04-03 17:57:54 +0000 | <dolio> | You can probably generalize it so that it doesn't depend so much on relative 'size' too. |
| 2026-04-03 17:54:14 +0000 | <dolio> | Yeah. I recently heard about this, and like it better, because it seems closer to the intuitive idea of parametricity. |
| 2026-04-03 17:53:32 +0000 | <monochrom> | which is what I tell beginners if I'm not ready to tell the relational story. |
| 2026-04-03 17:53:01 +0000 | <monochrom> | Oh interesting, because "constant [over types]" is short for "the same code for all types". |
| 2026-04-03 17:50:35 +0000 | <dolio> | Instead of the relational way. |
| 2026-04-03 17:50:28 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-04-03 17:50:03 +0000 | confusedalex_ | confusedalex |
| 2026-04-03 17:49:52 +0000 | confusedalex_ | (~confuseda@user/confusedalex) confusedalex |