| 2025-03-18 00:00:19 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 00:03:22 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-03-18 00:03:29 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-18 00:03:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-03-18 00:04:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-18 00:04:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 00:08:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-18 00:14:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 00:15:13 +0100 | <jle`> | yeah, my point is that 'until' isn't really analogous to "until loops", so a corresponding "while" wouldn't be analogous to "while loops" either, which is potentially confusing |
| 2025-03-18 00:15:28 +0100 | <jle`> | since people see 'while' and usually think of while loops |
| 2025-03-18 00:16:30 +0100 | <EvanR> | :t until -- what are we talking about again |
| 2025-03-18 00:16:31 +0100 | <lambdabot> | (a -> Bool) -> (a -> a) -> a -> a |
| 2025-03-18 00:16:36 +0100 | <EvanR> | what the heck |
| 2025-03-18 00:16:52 +0100 | <jle`> | my same reaction lol |
| 2025-03-18 00:17:32 +0100 | <jle`> | i'm not super thrilled with it but it's at least not as bad as a hypothetical 'while' |
| 2025-03-18 00:18:55 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-03-18 00:19:24 +0100 | <EvanR> | I totally forgot about this function |
| 2025-03-18 00:19:27 +0100 | <enikar> | when i used until i use a pair (a, b) for a, and fst or snd to get the result (or something like it). |
| 2025-03-18 00:19:27 +0100 | <EvanR> | it's cool |
| 2025-03-18 00:19:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-18 00:19:45 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-03-18 00:19:48 +0100 | <EvanR> | keep microwaving the value until it's heating to sufficient temperature |
| 2025-03-18 00:19:59 +0100 | <EvanR> | then let sit for 1 minute before serving |
| 2025-03-18 00:21:52 +0100 | euleritian | (~euleritia@dynamic-176-006-132-052.176.6.pool.telefonica.de) |
| 2025-03-18 00:25:20 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-18 00:25:34 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-18 00:29:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-18 00:29:33 +0100 | ljdarj1 | ljdarj |
| 2025-03-18 00:35:31 +0100 | synchromesh | (~john@116.251.144.215) synchromesh |
| 2025-03-18 00:40:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 00:45:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-18 00:47:57 +0100 | mange | (~user@user/mange) mange |
| 2025-03-18 00:50:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 00:52:45 +0100 | kh0d | (~kh0d@212.200.181.159) (Remote host closed the connection) |
| 2025-03-18 00:52:59 +0100 | <monochrom> | This is what's wrong with taking "meaningful names" seriously. |
| 2025-03-18 00:53:26 +0100 | kh0d | (~kh0d@212.200.181.159) kh0d |
| 2025-03-18 00:54:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-18 00:54:12 +0100 | <monochrom> | Today you have learned: "data" does not mean data, it means type; "type" does not mean type, it means alias; "newtype" does not mean new type, it means old type but not alias. |
| 2025-03-18 00:56:11 +0100 | <int-e> | . o O ( tomorrow you'll unlearn all of these ) |
| 2025-03-18 00:56:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 00:59:14 +0100 | kh0d | (~kh0d@212.200.181.159) (Ping timeout: 252 seconds) |
| 2025-03-18 00:59:15 +0100 | <EvanR> | at least new type does create a new type |
| 2025-03-18 00:59:22 +0100 | <EvanR> | unlike typedef |
| 2025-03-18 01:01:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-18 01:04:07 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-03-18 01:08:18 +0100 | tccq | (~user@user/tccq) (Ping timeout: 276 seconds) |
| 2025-03-18 01:11:45 +0100 | plitter | (~plitter@user/plitter) (Ping timeout: 246 seconds) |
| 2025-03-18 01:12:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 01:13:44 +0100 | kh0d | (~kh0d@212.200.181.159) kh0d |
| 2025-03-18 01:14:30 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 265 seconds) |
| 2025-03-18 01:17:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-18 01:18:34 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-03-18 01:19:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) |
| 2025-03-18 01:27:00 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-03-18 01:28:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 01:32:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 01:33:00 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-18 01:34:51 +0100 | <mauke> | #define DEFSTRUCT(X) typedef struct X X; struct X |
| 2025-03-18 01:35:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 01:37:03 +0100 | <monochrom> | I have trouble telling that apart from DESTRUCT :) |
| 2025-03-18 01:40:07 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-03-18 01:40:57 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-03-18 01:41:04 +0100 | euleritian | (~euleritia@dynamic-176-006-132-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-18 01:41:22 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 01:43:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 01:48:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-18 01:49:17 +0100 | bilegeek | (~bilegeek@2600:1008:b042:84f7:27d1:e8e2:5d3b:65d1) bilegeek |
| 2025-03-18 01:51:03 +0100 | <Axman6> | thats how I read it too |
| 2025-03-18 01:51:28 +0100 | <geekosaur> | is that wrong? 😈 |
| 2025-03-18 01:52:30 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-18 01:52:39 +0100 | <EvanR> | upgrade to DEFSTRUCT(4) |
| 2025-03-18 01:52:48 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 01:52:53 +0100 | sprotte24 | (~sprotte24@p200300d16f275800a1de62e3bbd83239.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-18 01:53:54 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-18 01:54:41 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 01:54:42 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f06b15130e44e471244.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-18 01:55:12 +0100 | euleritian | (~euleritia@95.90.214.149) (Remote host closed the connection) |
| 2025-03-18 01:56:14 +0100 | <int-e> | it's perfectly accurate; it allows you to use `X` without `struct`, so it de-structs it. |
| 2025-03-18 01:56:34 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 01:57:56 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-18 01:58:24 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 01:59:29 +0100 | euleritian | (~euleritia@95.90.214.149) (Remote host closed the connection) |
| 2025-03-18 01:59:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 02:00:26 +0100 | <geekosaur> | I think EvanR confused it with "define constructor" 😈 |
| 2025-03-18 02:00:28 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 02:01:28 +0100 | <monochrom> | oh yeah hehe, so that's why I was thinking "do you mean defcon 4?" |
| 2025-03-18 02:03:43 +0100 | <yin> | and yet |
| 2025-03-18 02:03:48 +0100 | <yin> | :t takeWhile |
| 2025-03-18 02:03:48 +0100 | <lambdabot> | (a -> Bool) -> [a] -> [a] |
| 2025-03-18 02:03:52 +0100 | <yin> | :t takeUntil |
| 2025-03-18 02:03:53 +0100 | <lambdabot> | error: Variable not in scope: takeUntil |
| 2025-03-18 02:04:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-18 02:06:23 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-18 02:11:21 +0100 | <jackdk> | takeUntil = takeWhile . (not .) |
| 2025-03-18 02:11:22 +0100 | <EvanR> | takeYet takeNevertheless takeAlongside takeDespite... |
| 2025-03-18 02:11:44 +0100 | <EvanR> | the API has only scratched the surface |
| 2025-03-18 02:14:31 +0100 | <jackdk> | takeAsLongAsIFeelLikeIt |
| 2025-03-18 02:15:04 +0100 | <EvanR> | getTheeHence |
| 2025-03-18 02:15:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 02:20:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-18 02:21:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 02:22:03 +0100 | kh0d | (~kh0d@212.200.181.159) (Ping timeout: 245 seconds) |
| 2025-03-18 02:25:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-18 02:31:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 02:32:18 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d0f2:9051:9f97:5934) (Read error: Connection reset by peer) |
| 2025-03-18 02:35:31 +0100 | kh0d | (~kh0d@212.200.181.159) |
| 2025-03-18 02:38:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-18 02:42:19 +0100 | kh0d | (~kh0d@212.200.181.159) (Ping timeout: 260 seconds) |
| 2025-03-18 02:49:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 02:53:55 +0100 | kh0d | (~kh0d@212.200.247.164) |
| 2025-03-18 02:54:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 02:56:56 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-18 02:57:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-03-18 02:58:01 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-03-18 02:58:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-03-18 03:01:33 +0100 | Googulator8 | (~Googulato@84-236-65-216.pool.digikabel.hu) |
| 2025-03-18 03:01:39 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 246 seconds) |
| 2025-03-18 03:03:11 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 03:04:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-03-18 03:04:30 +0100 | Googulator | (~Googulato@2a01-036d-0106-4b74-b88c-ff83-9891-e272.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-03-18 03:05:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 03:06:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 03:07:12 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 252 seconds) |
| 2025-03-18 03:07:58 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 03:09:18 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-03-18 03:10:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-18 03:11:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-18 03:20:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 03:22:03 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-18 03:22:55 +0100 | kh0d | (~kh0d@212.200.247.164) kh0d |
| 2025-03-18 03:23:31 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-18 03:24:08 +0100 | Square | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2025-03-18 03:26:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-18 03:28:07 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-18 03:33:06 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 03:36:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 03:36:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 03:41:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-18 03:46:27 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 03:49:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 03:52:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 03:52:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 03:56:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-18 03:56:53 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-03-18 03:57:13 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-18 03:57:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-18 04:00:29 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 260 seconds) |
| 2025-03-18 04:01:40 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 04:02:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-03-18 04:08:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 04:08:20 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-03-18 04:11:13 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-18 04:13:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-18 04:16:04 +0100 | feetwind | (~mike@user/feetwind) (Ping timeout: 260 seconds) |
| 2025-03-18 04:19:13 +0100 | kh0d | (~kh0d@212.200.247.164) kh0d |
| 2025-03-18 04:19:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 04:24:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-18 04:24:26 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 244 seconds) |
| 2025-03-18 04:25:26 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-18 04:28:15 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-03-18 04:28:54 +0100 | Googulator8 | (~Googulato@84-236-65-216.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-03-18 04:32:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-18 04:35:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 04:37:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 04:40:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 04:41:44 +0100 | manwithluck | (~manwithlu@2a09:bac1:5ba0:20::49:217) (Ping timeout: 260 seconds) |
| 2025-03-18 04:42:28 +0100 | manwithluck | (~manwithlu@2a09:bac5:5085:2dc::49:de) manwithluck |
| 2025-03-18 04:42:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-18 04:43:46 +0100 | kh0d | (~kh0d@212.200.181.151) kh0d |
| 2025-03-18 04:50:14 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 2025-03-18 04:50:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 04:51:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-03-18 04:54:00 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-18 04:54:02 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-03-18 04:55:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 04:58:42 +0100 | rvalue- | rvalue |
| 2025-03-18 05:04:55 +0100 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-03-18 05:05:58 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-18 05:06:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 05:11:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-18 05:13:10 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-18 05:16:37 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-18 05:16:58 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2025-03-18 05:21:47 +0100 | kh0d | (~kh0d@212.200.181.151) |
| 2025-03-18 05:22:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 05:23:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 05:25:48 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
| 2025-03-18 05:27:24 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 260 seconds) |
| 2025-03-18 05:28:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-18 05:29:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-18 05:32:40 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-03-18 05:35:02 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-03-18 05:37:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-03-18 05:40:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 05:42:19 +0100 | dolio | (~dolio@130.44.140.168) (Read error: Connection reset by peer) |
| 2025-03-18 05:42:26 +0100 | codolio | (~dolio@130.44.140.168) dolio |
| 2025-03-18 05:43:14 +0100 | kh0d | (~kh0d@212.200.181.151) kh0d |
| 2025-03-18 05:45:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-18 05:45:10 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc7:6b00:b975:f736:215a:5f1e) aforemny |
| 2025-03-18 05:45:48 +0100 | aforemny | (~aforemny@i577B136A.versanet.de) (Ping timeout: 246 seconds) |
| 2025-03-18 05:47:11 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-18 05:47:48 +0100 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2025-03-18 05:47:54 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 246 seconds) |
| 2025-03-18 05:54:04 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-03-18 05:56:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 05:57:35 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
| 2025-03-18 06:01:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-18 06:08:50 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 06:12:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 06:13:00 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-03-18 06:13:15 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-18 06:13:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-18 06:14:30 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 06:15:12 +0100 | kh0d | (~kh0d@212.200.181.151) |
| 2025-03-18 06:17:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-18 06:17:18 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-18 06:17:46 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 06:18:34 +0100 | dtman34_ | (~dtman34@2601:447:d000:1f5e:5ed:4e8c:420f:e376) (Ping timeout: 260 seconds) |
| 2025-03-18 06:19:48 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 2025-03-18 06:20:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 06:20:21 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:adb1:5444:1e59:864f) dtman34 |
| 2025-03-18 06:25:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 06:31:12 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 06:34:52 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 06:36:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 06:38:58 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-03-18 06:41:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-18 06:51:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 06:53:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 06:54:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 06:56:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 06:57:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 06:58:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-18 06:59:06 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 268 seconds) |
| 2025-03-18 06:59:20 +0100 | killy | (~killy@176.223.173.240) |
| 2025-03-18 07:00:18 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 07:02:23 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 2025-03-18 07:03:20 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 07:03:23 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 07:04:20 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 07:05:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 07:07:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 07:08:51 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 07:10:43 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Quit: wildsalander) |
| 2025-03-18 07:11:38 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 07:12:27 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 07:12:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-18 07:14:56 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 244 seconds) |
| 2025-03-18 07:15:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 07:16:29 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 244 seconds) |
| 2025-03-18 07:21:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 07:21:31 +0100 | bilegeek | (~bilegeek@2600:1008:b042:84f7:27d1:e8e2:5d3b:65d1) (Quit: Leaving) |
| 2025-03-18 07:25:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-18 07:26:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 07:28:14 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-18 07:30:09 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 07:31:37 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-18 07:35:22 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 265 seconds) |
| 2025-03-18 07:36:56 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2025-03-18 07:39:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 07:40:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 07:43:49 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 2025-03-18 07:44:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-18 07:44:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-18 07:44:46 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Client Quit) |
| 2025-03-18 07:48:27 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2025-03-18 07:48:32 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 07:51:37 +0100 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-03-18 07:53:00 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-03-18 07:53:18 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
| 2025-03-18 07:55:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 07:58:41 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-18 08:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-18 08:00:52 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-18 08:02:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-18 08:04:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-18 08:07:39 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-18 08:07:56 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-18 08:10:35 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-03-18 08:12:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 08:12:22 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
| 2025-03-18 08:13:26 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-18 08:13:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-03-18 08:14:49 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-18 08:15:31 +0100 | kh0d | (~kh0d@109.111.226.14) |
| 2025-03-18 08:17:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-18 08:17:35 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-03-18 08:18:49 +0100 | plitter | (~plitter@user/plitter) plitter |
| 2025-03-18 08:19:58 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 245 seconds) |
| 2025-03-18 08:22:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 08:22:40 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 08:25:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 08:27:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 08:29:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-18 08:32:22 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Quit: ash3en) |
| 2025-03-18 08:35:12 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-18 08:38:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 08:43:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-18 08:52:03 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-18 08:52:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-18 08:53:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 08:54:29 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-03-18 08:56:41 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
| 2025-03-18 08:57:57 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-18 08:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-18 09:10:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 09:12:36 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-18 09:12:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-18 09:14:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-18 09:15:49 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Ping timeout: 248 seconds) |
| 2025-03-18 09:16:55 +0100 | killy | (~killy@176.223.173.240) (Quit: leaving) |
| 2025-03-18 09:17:12 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:24c8:4afb:c51c:4471) |
| 2025-03-18 09:19:26 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
| 2025-03-18 09:21:45 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 2025-03-18 09:26:13 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) acidjnk |
| 2025-03-18 09:48:51 +0100 | sprotte24 | (~sprotte24@p200300d16f2b0f00f146771413e22502.dip0.t-ipconnect.de) |
| 2025-03-18 09:53:00 +0100 | poscat0x04 | poscat |
| 2025-03-18 09:53:33 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 2025-03-18 09:53:46 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-18 09:56:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 09:57:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 09:58:24 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-18 09:58:41 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-18 10:01:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-18 10:03:00 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Client Quit) |
| 2025-03-18 10:03:14 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-18 10:05:23 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Ping timeout: 245 seconds) |
| 2025-03-18 10:15:42 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-18 10:17:48 +0100 | <merijn> | Quick poll: What are people's favourite functional pearls? I'm trying to find some good stuff for our juniors to read |
| 2025-03-18 10:18:52 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
| 2025-03-18 10:23:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-18 10:27:23 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-18 10:28:08 +0100 | <Leary> | merijn: https://www.reddit.com/r/haskell/comments/1chgo7x/what_are_some_research_papers_that_every/ |
| 2025-03-18 10:31:59 +0100 | <mauke> | merijn: Implicit Configurations |
| 2025-03-18 10:32:06 +0100 | <mauke> | because I can actually understand it |
| 2025-03-18 10:32:10 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) fp |
| 2025-03-18 10:32:48 +0100 | chele | (~chele@user/chele) chele |
| 2025-03-18 10:33:42 +0100 | <c_wraith> | lazy level-order tree renumbering |
| 2025-03-18 10:34:45 +0100 | <dminuoso> | Mmm, I have an exception with an instance `ErrorAnnotation p => Exception (ValueSpecMismatch p)` for which a bunch of `instance ErrorAnnotation ...` exist. |
| 2025-03-18 10:35:39 +0100 | <dminuoso> | Now, I want to write a `catch` handler that will catch any of these, it seems like I would have to write `handleValueSpecMismatch :: exists p. ErrorAnnotation p *> ValueSpecMismatch p -> IO a` |
| 2025-03-18 10:36:20 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:dac:1d21:ce7f:30a0) dhil |
| 2025-03-18 10:36:21 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-03-18 10:37:30 +0100 | <dminuoso> | Is there a way to accomplish this, without using catches and enumerating a handler for each ErrorAnnotation instance? |
| 2025-03-18 10:39:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-03-18 10:40:23 +0100 | <c_wraith> | Not really. It's all built on top of Typeable, and Typeable checks for equality between two concrete types |
| 2025-03-18 10:41:12 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-03-18 10:41:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 10:42:40 +0100 | <c_wraith> | You could use some TH hackery to make it build you a list of all instances (that are currently in scope) automatically, though |
| 2025-03-18 10:42:45 +0100 | <dminuoso> | So I guess the library is at fault for not hiding this constraint inside a GADT? |
| 2025-03-18 10:43:29 +0100 | <c_wraith> | If it intended for you to match against all of them uniformly... yes |
| 2025-03-18 10:44:28 +0100 | <dminuoso> | Mmm fair enough. Thanks |
| 2025-03-18 10:44:48 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 10:45:18 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-18 10:45:21 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2025-03-18 10:45:36 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-03-18 10:45:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-18 10:58:53 +0100 | <c_wraith> | I guess the Exception class is a little more sophisticated. You just need to be able to write a SomeException -> e function |
| 2025-03-18 11:00:39 +0100 | <c_wraith> | You could use Typeable to see if the type matches the top level type constructor, ignoring the argument. |
| 2025-03-18 11:01:02 +0100 | <c_wraith> | But if you do that, you lose the ErrorAnnotation instance |
| 2025-03-18 11:01:13 +0100 | <c_wraith> | So... Who knows if it's sufficient |
| 2025-03-18 11:04:15 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) ubert |
| 2025-03-18 11:08:17 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 248 seconds) |
| 2025-03-18 11:14:04 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-18 11:14:24 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-18 11:19:46 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-18 11:20:15 +0100 | <dminuoso> | That would be sufficient for my usecase actually |
| 2025-03-18 11:20:36 +0100 | <dminuoso> | I mean given what Im doing this is more a theoretical discussion |
| 2025-03-18 11:25:01 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-03-18 11:26:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 11:28:54 +0100 | alp | (~alp@2001:861:8ca0:4940:ee1f:fdc:72ba:d779) |
| 2025-03-18 11:31:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-18 11:31:44 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 2025-03-18 11:32:11 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 11:32:17 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 2025-03-18 11:32:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2025-03-18 11:38:31 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 11:40:24 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-f54b-3cee-8f5a-99cb.rev.sfr.net) alexherbo2 |
| 2025-03-18 11:42:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-18 11:42:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-18 11:44:02 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-18 11:44:02 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Read error: Connection reset by peer) |
| 2025-03-18 11:47:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-18 11:47:11 +0100 | ljdarj1 | ljdarj |
| 2025-03-18 11:47:55 +0100 | kh0d | (~kh0d@109.111.226.14) |
| 2025-03-18 11:56:39 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-03-18 11:57:40 +0100 | <merijn> | mauke: I'll have a look :) I always quite liked Ghosts of Departed Proofs too |
| 2025-03-18 11:58:49 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 260 seconds) |
| 2025-03-18 12:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-18 12:02:11 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-18 12:02:23 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 12:02:49 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-18 12:12:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-18 12:12:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 12:13:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-18 12:16:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-18 12:23:51 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 12:28:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b08c:1e92:87c1:3f68) |
| 2025-03-18 12:28:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-18 12:28:54 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 12:32:01 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-03-18 12:33:04 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 12:38:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-03-18 12:38:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 12:44:00 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-03-18 12:50:46 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-18 12:56:05 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 12:57:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 12:59:44 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2025-03-18 12:59:51 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
| 2025-03-18 12:59:52 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Client Quit) |
| 2025-03-18 13:01:05 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-03-18 13:01:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-18 13:03:29 +0100 | alp | (~alp@2001:861:8ca0:4940:ee1f:fdc:72ba:d779) (Ping timeout: 248 seconds) |
| 2025-03-18 13:12:42 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 13:13:25 +0100 | koz | (~koz@121.99.240.58) |
| 2025-03-18 13:26:15 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-03-18 13:26:52 +0100 | jespada | (~jespada@2800:a4:22a3:dd00:ccd8:1ec4:f7c9:8e8d) jespada |
| 2025-03-18 13:35:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-03-18 13:40:29 +0100 | st_aldini1 | (~Thunderbi@136.48.22.91) st_aldini |
| 2025-03-18 13:40:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-18 13:42:18 +0100 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 276 seconds) |
| 2025-03-18 13:42:18 +0100 | st_aldini1 | st_aldini |
| 2025-03-18 13:42:23 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-03-18 13:42:51 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 13:43:26 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-18 13:43:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-03-18 13:44:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 13:48:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-18 13:57:07 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-18 13:58:19 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-03-18 14:10:01 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (K-Lined) |
| 2025-03-18 14:15:27 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 2025-03-18 14:15:55 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 14:20:23 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 245 seconds) |
| 2025-03-18 14:22:46 +0100 | Guest23 | (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) |
| 2025-03-18 14:25:40 +0100 | kh0d | (~kh0d@212.200.181.151) |
| 2025-03-18 14:30:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 14:30:23 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 245 seconds) |
| 2025-03-18 14:34:03 +0100 | <ski> | merijn : "A Poor Man's Concurrency Monad" in 1999-05 at <https://web.archive.org/web/20070305025415/http://www.cs.chalmers.se/~koen/pubs/jfp99-monad.ps>,"Parallel Parsing Processes" in 2004 at <https://web.archive.org/web/20061012125410/http://www.cs.chalmers.se/~koen/pubs/jfp04-parser.ps>, by Koen Claessen, are two that i remember |
| 2025-03-18 14:34:50 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-18 14:36:32 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-03-18 14:36:58 +0100 | babo67_ | (~babo67@user/babo67) babo67 |
| 2025-03-18 14:37:07 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-18 14:37:46 +0100 | Guest13 | (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) |
| 2025-03-18 14:42:30 +0100 | Guest13 | (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) (Ping timeout: 240 seconds) |
| 2025-03-18 14:42:55 +0100 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2025-03-18 14:58:47 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 2025-03-18 15:03:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-f54b-3cee-8f5a-99cb.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-18 15:16:16 +0100 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2025-03-18 15:16:18 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 15:19:50 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2025-03-18 15:20:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-18 15:20:51 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
| 2025-03-18 15:31:13 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-18 15:31:46 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:24c8:4afb:c51c:4471) (Quit: Leaving) |
| 2025-03-18 15:31:48 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 15:33:43 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 245 seconds) |
| 2025-03-18 15:33:55 +0100 | dsrt^ | (elomin@c-71-199-187-173.hsd1.ga.comcast.net) |
| 2025-03-18 15:34:22 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 2025-03-18 15:35:48 +0100 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2025-03-18 15:38:07 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
| 2025-03-18 15:38:59 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) alexherbo2 |
| 2025-03-18 15:39:16 +0100 | euleritian | (~euleritia@dynamic-176-006-139-032.176.6.pool.telefonica.de) |
| 2025-03-18 15:42:09 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Ping timeout: 252 seconds) |
| 2025-03-18 15:42:10 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) (Quit: ubert) |
| 2025-03-18 15:46:16 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-03-18 15:49:42 +0100 | Guest23 | (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) (Ping timeout: 240 seconds) |
| 2025-03-18 15:50:36 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-03-18 15:57:25 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-03-18 15:57:41 +0100 | Square | (~Square4@user/square) Square |
| 2025-03-18 16:02:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 16:06:34 +0100 | jespada | (~jespada@2800:a4:22a3:dd00:ccd8:1ec4:f7c9:8e8d) (Ping timeout: 260 seconds) |
| 2025-03-18 16:06:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-18 16:07:42 +0100 | jespada | (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) jespada |
| 2025-03-18 16:08:34 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-03-18 16:16:40 +0100 | kh0d | (~kh0d@212.200.181.151) kh0d |
| 2025-03-18 16:17:51 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-03-18 16:21:34 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 244 seconds) |
| 2025-03-18 16:24:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2025-03-18 16:39:41 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-03-18 16:43:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-18 16:46:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-18 16:48:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 16:52:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-18 16:56:41 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-03-18 16:58:39 +0100 | son0p | (~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) (Remote host closed the connection) |
| 2025-03-18 17:10:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-03-18 17:18:03 +0100 | kh0d | (~kh0d@212.200.181.151) kh0d |
| 2025-03-18 17:22:33 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 2025-03-18 17:26:22 +0100 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2025-03-18 17:26:44 +0100 | jespada | (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-18 17:33:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 17:33:55 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-18 17:33:59 +0100 | cipherrot | (~znc-user@user/petrichor) (Ping timeout: 252 seconds) |
| 2025-03-18 17:37:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-18 17:38:35 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-03-18 17:41:52 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 17:44:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-18 17:50:59 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 17:54:17 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-18 17:55:19 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-18 17:55:48 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-18 17:55:57 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-18 17:58:51 +0100 | cipherrot | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 17:59:16 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-18 18:01:13 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 245 seconds) |
| 2025-03-18 18:11:06 +0100 | <EvanR> | is there a paper or document or something which has an overview of GHC's modern compilation strategy, including how it deals with machine arithmetic, unboxing, etc. All the old books on graph reduction seem... old |
| 2025-03-18 18:11:39 +0100 | <EvanR> | is it all in SPJ's mind locked away |
| 2025-03-18 18:11:57 +0100 | <EvanR> | do we have to go in there like inception |
| 2025-03-18 18:13:10 +0100 | cipherrot | (~znc-user@user/petrichor) (Ping timeout: 244 seconds) |
| 2025-03-18 18:14:03 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 18:15:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-18 18:16:26 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-18 18:19:40 +0100 | jespada | (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) jespada |
| 2025-03-18 18:20:04 +0100 | cipherrot | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 18:20:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 18:21:04 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-18 18:21:19 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-03-18 18:22:03 +0100 | krei-se | (~krei-se@tmo-113-205.customers.d1-online.com) (Read error: Connection reset by peer) |
| 2025-03-18 18:22:22 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
| 2025-03-18 18:22:39 +0100 | <monochrom> | It is not even SPJ's mind necessarily. It's very likely someone else's minds. |
| 2025-03-18 18:23:08 +0100 | <monochrom> | But yeah it's locked in minds or buried deeply in source code. |
| 2025-03-18 18:23:55 +0100 | <monochrom> | OK OK, + or scattered over multiple papers that each partially supercede each other. |
| 2025-03-18 18:24:30 +0100 | euleritian | (~euleritia@dynamic-176-006-139-032.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-18 18:24:43 +0100 | <geekosaur> | if I had to guess, it's in a whole bunch of scattered [Note]s throughout the ghc codebase |
| 2025-03-18 18:24:47 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 18:24:47 +0100 | monochrom | has the push-apply thing in mind. |
| 2025-03-18 18:25:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-18 18:26:18 +0100 | euleritian | (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
| 2025-03-18 18:26:29 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 18:26:31 +0100 | <monochrom> | Reminds me of the mythical story about Osiris. >:) |
| 2025-03-18 18:28:00 +0100 | krei-se | (~krei-se@p3ee0f57d.dip0.t-ipconnect.de) krei-se |
| 2025-03-18 18:29:21 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 18:31:01 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-03-18 18:31:19 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 18:32:14 +0100 | cipherrot | (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
| 2025-03-18 18:35:03 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-03-18 18:39:24 +0100 | krei-se | (~krei-se@p3ee0f57d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-03-18 18:44:12 +0100 | <haskellbridge> | <Bowuigi> EvanR the GHC wisdom is scattered over the world but there are new papers that implement some of those concepts |
| 2025-03-18 18:45:18 +0100 | <haskellbridge> | <Bowuigi> https://dl.acm.org/doi/10.1145/3674654 deals with unboxing and some machine stuff |
| 2025-03-18 18:46:42 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Quit: wildsalander) |
| 2025-03-18 18:46:53 +0100 | <haskellbridge> | <Bowuigi> The compiler itself is a good reference of Core https://hackage.haskell.org/package/ghc-9.6.1/docs/GHC-Core.html, which links to https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions/ |
| 2025-03-18 18:47:35 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-18 18:48:05 +0100 | <haskellbridge> | <Bowuigi> And https://www.microsoft.com/en-us/research/publication/implementing-lazy-functional-languages-on-sto… is a good resource on STG |
| 2025-03-18 18:50:04 +0100 | <haskellbridge> | <Bowuigi> Nowadays, probably doing some magic on a first order STLC can get you nice results tho, namely, some superset of the object language of https://andraskovacs.github.io/pdfs/2ltt_icfp24.pdf should be simple enough to translate to assembly |
| 2025-03-18 18:50:12 +0100 | krei-se | (~krei-se@p508296bc.dip0.t-ipconnect.de) krei-se |
| 2025-03-18 18:51:23 +0100 | <haskellbridge> | <Bowuigi> To translate a language into first order, you need defunctionalization. Here's the best one I know https://dl.acm.org/doi/10.1145/3591260 |
| 2025-03-18 18:52:28 +0100 | <monochrom> | I think EvanR has already seen the STG paper. But it doesn't cover any development since then (and there are a lot). |
| 2025-03-18 18:52:54 +0100 | <monochrom> | or s/paper/papers, books, etc./ |
| 2025-03-18 18:53:13 +0100 | <haskellbridge> | <Bowuigi> Yeah those are really old |
| 2025-03-18 18:53:58 +0100 | <haskellbridge> | <Bowuigi> Haven't seen books on full functional language compiler implementations that appeared after the 2000s |
| 2025-03-18 18:54:43 +0100 | <monochrom> | I don't think GHC does defunctionalization. It goes eval-apply or push-enter (I forgot which one is older and which one is current). |
| 2025-03-18 18:55:17 +0100 | <haskellbridge> | <Bowuigi> I mentioned that because of the alternative compilation route via a first order language |
| 2025-03-18 18:55:51 +0100 | <EvanR> | re: magic on first order STLC, is this your original research or an actual thing happening |
| 2025-03-18 18:56:34 +0100 | <EvanR> | I'm getting the impression there's alot of new ideas too, not necessarily implemented |
| 2025-03-18 18:56:48 +0100 | <EvanR> | making "what is GHC actually doing now" more of a question |
| 2025-03-18 18:56:54 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-18 18:57:01 +0100 | <haskellbridge> | <Bowuigi> A random thought that happened to cross my mind based on the paper by Kovacs I linked |
| 2025-03-18 18:57:43 +0100 | <haskellbridge> | <Bowuigi> First order STLC doesn't look too different from various IRs like QBE or LLVM IR |
| 2025-03-18 18:58:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-03-18 18:58:28 +0100 | krei-se- | (~krei-se@p3ee0f216.dip0.t-ipconnect.de) krei-se |
| 2025-03-18 18:58:41 +0100 | krei-se | (~krei-se@p508296bc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-18 19:00:08 +0100 | <haskellbridge> | <Bowuigi> Specially if parts of it were generated with single-purpose optimizers, like https://www.fing.edu.uy/inco/proyectos/fusion/ |
| 2025-03-18 19:00:36 +0100 | <geekosaur> | see the "making a fast curry" paper re eval/apply vs. push/enter |
| 2025-03-18 19:02:50 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-18 19:03:30 +0100 | <haskellbridge> | <Bowuigi> Also tangentially related but Perceus seems to be okay-ish without extensions https://www.reddit.com/r/ProgrammingLanguages/comments/1anyq4j/can_reference_counting_really_be_as… extensions make it good tho https://lptk.github.io/files/ctrc-2024-05-09.pdf |
| 2025-03-18 19:06:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |