| 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 |