| 2025-11-09 00:03:38 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2025-11-09 00:04:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:05:30 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-09 00:07:39 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-11-09 00:07:56 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 00:11:04 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-09 00:11:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 00:11:59 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 00:12:00 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:17:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:18:47 +0100 | kuribas` | (~user@2a02-1810-2825-6000-6290-a31b-6756-58e1.ip6.access.telenet.be) (Ping timeout: 265 seconds) |
| 2025-11-09 00:22:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 00:32:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 00:33:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-09 00:33:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:38:07 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-09 00:38:19 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2025-11-09 00:38:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 00:38:29 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 00:41:17 +0100 | tccq | (~tccq@user/tccq) tccq |
| 2025-11-09 00:41:44 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-09 00:42:11 +0100 | <tccq> | Anyone know of a C compiler in simple haskell? I see some educational resources but nothing that looks super usable / better than doing it from scratch myself |
| 2025-11-09 00:43:05 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-11-09 00:43:59 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-11-09 00:44:06 +0100 | <glguy> | I'm not aware of anyone talking about one |
| 2025-11-09 00:45:25 +0100 | <tccq> | I'll grant it's a tad backwards |
| 2025-11-09 00:46:12 +0100 | <tccq> | but my thought it to have a 2 step bootstrap loop of haskell->C (unknown) and C->haskell (Microhaskell) |
| 2025-11-09 00:46:26 +0100 | <tccq> | much nicer than writing a 1 step in either |
| 2025-11-09 00:49:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 00:49:21 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-09 00:52:49 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-11-09 00:52:52 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 00:53:06 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 00:54:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 00:55:44 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:55:44 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 00:58:17 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-11-09 01:05:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:05:48 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 01:06:13 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 01:09:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 01:14:47 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.215) |
| 2025-11-09 01:16:26 +0100 | qqe | (~qqq@185.54.21.203) (Read error: Connection reset by peer) |
| 2025-11-09 01:16:32 +0100 | qqe_ | (~qqq@185.54.21.203) |
| 2025-11-09 01:17:07 +0100 | AlexZenon | (~alzenon@85.174.180.102) (Ping timeout: 264 seconds) |
| 2025-11-09 01:18:13 +0100 | AlexNoo | (~AlexNoo@85.174.180.102) (Ping timeout: 250 seconds) |
| 2025-11-09 01:18:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:21:26 +0100 | AlexZenon | (~alzenon@5.139.232.215) |
| 2025-11-09 01:23:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 01:24:43 +0100 | <EvanR> | ehm... a haskell compiler written in C? o_O |
| 2025-11-09 01:25:01 +0100 | <EvanR> | sounds like a match made in hell |
| 2025-11-09 01:29:37 +0100 | <monochrom> | No no, the other way, a C compiler written in Haskell. :) |
| 2025-11-09 01:31:48 +0100 | <geekosaur> | simplified (non-extension-using?) Haskell |
| 2025-11-09 01:32:49 +0100 | <EvanR> | the 2nd step |
| 2025-11-09 01:33:27 +0100 | AlexZenon | (~alzenon@5.139.232.215) (Ping timeout: 252 seconds) |
| 2025-11-09 01:34:26 +0100 | <EvanR> | the haskell written in C just doesn't seem to be doing anyone any favors, esp if you don't have a C compiler |
| 2025-11-09 01:34:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:36:02 +0100 | <tccq> | microhs compiles to ANSI C. This exists and seems to work fine as far as I can tell. It's written in haskell mostly |
| 2025-11-09 01:36:13 +0100 | <tccq> | I want a ANSI C compiler written in haskell |
| 2025-11-09 01:36:43 +0100 | <tccq> | and by simple I mean not using every possible extension |
| 2025-11-09 01:36:54 +0100 | <tccq> | though many are supported by microhs so it's not a hard requirement |
| 2025-11-09 01:37:05 +0100 | <EvanR> | ok so microhaskell wasn't written in C, makes sense xD |
| 2025-11-09 01:37:21 +0100 | <tccq> | yup |
| 2025-11-09 01:38:18 +0100 | <EvanR> | https://github.com/dmytro-feshchenko/haskell-c-compiler |
| 2025-11-09 01:39:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 01:39:28 +0100 | <tccq> | that's the "educational resource" I referenced. You'll not that the repo contains literally nothing useful as far as I can tell |
| 2025-11-09 01:39:40 +0100 | <tccq> | at least in terms of compiling C |
| 2025-11-09 01:39:52 +0100 | <EvanR> | yes it contains nearly nothing nevermind |
| 2025-11-09 01:39:58 +0100 | <tccq> | I find that |
| 2025-11-09 01:40:01 +0100 | <tccq> | and some forks of it |
| 2025-11-09 01:40:03 +0100 | <tccq> | but nothing else |
| 2025-11-09 01:40:08 +0100 | <EvanR> | I'm sure there's one lying around somewhere |
| 2025-11-09 01:40:08 +0100 | <tccq> | perhaps it's on me then |
| 2025-11-09 01:40:22 +0100 | <tccq> | but yes I would be extremely surprised that there isn't anything |
| 2025-11-09 01:45:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 01:45:53 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-09 01:46:01 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 01:46:12 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 01:48:10 +0100 | ljdarj1 | ljdarj |
| 2025-11-09 01:50:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 01:50:34 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 01:50:36 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit) |
| 2025-11-09 01:54:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 01:55:43 +0100 | pwine | (~pwine@2600:8800:5000:f790:307d:a3e0:be5e:4c15) |
| 2025-11-09 01:57:04 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 01:57:16 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 01:58:49 +0100 | pwine | (~pwine@2600:8800:5000:f790:307d:a3e0:be5e:4c15) (K-Lined) |
| 2025-11-09 02:00:23 +0100 | AlexZenon | (~alzenon@5.139.232.215) |
| 2025-11-09 02:04:38 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-11-09 02:05:37 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 02:06:00 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 02:06:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 02:06:19 +0100 | AlexZenon | (~alzenon@5.139.232.215) (Ping timeout: 264 seconds) |
| 2025-11-09 02:06:55 +0100 | otto_s | (~user@p5de2f031.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-09 02:08:10 +0100 | otto_s | (~user@p4ff27028.dip0.t-ipconnect.de) |
| 2025-11-09 02:10:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 02:11:17 +0100 | AlexZenon | (~alzenon@5.139.232.215) |
| 2025-11-09 02:14:37 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-09 02:21:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 02:23:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-09 02:25:01 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-09 02:25:14 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Ping timeout: 256 seconds) |
| 2025-11-09 02:27:15 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-09 02:27:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 02:32:00 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-11-09 02:38:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 02:39:44 +0100 | Inline | (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) Inline |
| 2025-11-09 02:45:34 +0100 | <fgarcia> | writing something that does haskell to Llvmir could be fun. though i am weird and like lto |
| 2025-11-09 02:48:33 +0100 | <tccq> | perhaps I'm misremembering but that's basically what GRIN does right? |
| 2025-11-09 02:49:00 +0100 | <tccq> | lto is indeed cool though |
| 2025-11-09 02:49:14 +0100 | <tccq> | whole program optimization my beloved |
| 2025-11-09 02:50:31 +0100 | Inline | (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) (Ping timeout: 244 seconds) |
| 2025-11-09 02:51:20 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2025-11-09 02:53:43 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-11-09 02:55:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 02:59:32 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-09 03:00:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |