Newest at the top
| 2025-12-23 21:46:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 21:45:43 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-23 21:44:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) |
| 2025-12-23 21:41:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 21:40:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 21:38:15 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) (Ping timeout: 245 seconds) |
| 2025-12-23 21:33:56 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) |
| 2025-12-23 21:30:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-23 21:27:17 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-23 21:26:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) |
| 2025-12-23 21:25:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 21:20:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 21:18:59 +0100 | trickard_ | trickard |
| 2025-12-23 21:14:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 21:11:31 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 21:11:18 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 21:09:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 20:59:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 20:53:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 20:34:59 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-23 20:34:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-12-23 20:33:41 +0100 | CryptLab | (~NSA@2a0d:5600:24:1375::f1e) (Ping timeout: 244 seconds) |
| 2025-12-23 20:33:38 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-23 20:31:29 +0100 | CipherLab | (~NSA@2a0d:5600:24:1375::f1e) CommanderBond007 |
| 2025-12-23 20:30:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 20:24:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 20:20:11 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-23 20:19:14 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 20:18:22 +0100 | shaeto | (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-23 20:13:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 20:12:21 +0100 | iqubic | (~sophia@2601:602:9203:1660:3bd8:1b23:71a3:5898) (Remote host closed the connection) |
| 2025-12-23 20:08:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 20:07:29 +0100 | <int-e> | "programmer effort" is hard to objectively quantify though because compared to just using lists, it includes both time spent on extraneous conversions and time saved on debugging empty list errors. |
| 2025-12-23 20:05:24 +0100 | <int-e> | Uh, or not since [] is the first constructor of [a]. So pointer tags would be wrong. |
| 2025-12-23 20:04:25 +0100 | <int-e> | __monty__: I'm talking about programmer effort. Though replacing the top-level constructory by another one isn't free; I'm pretty sure that GHC won't reuse one for the other because the tags are different for different types. Even though it will, technically, work. |
| 2025-12-23 20:03:01 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-12-23 20:02:13 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-12-23 20:02:05 +0100 | <__monty__> | int-e: Is there actually extra overhead? Or does it come in the form of lack of fusion? |
| 2025-12-23 19:57:56 +0100 | somemathguy | (~somemathg@user/somemathguy) (Client Quit) |
| 2025-12-23 19:57:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 19:56:44 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-23 19:52:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 19:51:22 +0100 | <monochrom> | <-- uses dad jokes for meaningful names :) |
| 2025-12-23 19:51:18 +0100 | <hololeap> | sure thing |
| 2025-12-23 19:50:56 +0100 | <monochrom> | May I call it Applicable instead? >:) |
| 2025-12-23 19:50:44 +0100 | <hololeap> | which Map is a perfect example of |
| 2025-12-23 19:50:34 +0100 | <monochrom> | Ah thanks. |
| 2025-12-23 19:50:26 +0100 | <hololeap> | it's Applicative sans `pure` |
| 2025-12-23 19:50:15 +0100 | <monochrom> | What is Apply? |
| 2025-12-23 19:49:59 +0100 | <hololeap> | not the most illuminating example :) |