| 7 Sep 2025 |
 sterni (he/him) | can't believe we're on track to get this done in under a year | 19:36:22 |
 emily | all I want for Christmas is someone to make Hadrian cross work | 20:20:27 |
| emily | except not so quickly that I feel like I wasted all that time | 20:20:40 |
 Alex | At this point, would it be less effort to compile GHC with MicroHs?
(I haven't been trying in a while, need to revisit it when I get the time.) | 20:21:21 |
| emily | I doubt it, since I sorted the LLVM patches in a few days but AFAIK MicroHs is lacking several major type system extensions to even think about compiling GHC? | 20:22:23 |
| Alex | Last I checked, the main limitation was DataKinds being missing + a lot of GHC-specific code like the fast strings. | 20:24:09 |
| Alex | I'm willing to rewrite the type checker if necessary, and the GHC problems can probably be fixed with a lot of tedious CPP. | 20:25:06 |
|  Ari Ade Supriyatna joined the room. | 20:26:56 |
 Artem | often times, GHC HEAD can't be compiled with a GHC just out of the support window (last three releases or so). I'd expect it to be a non-trivial projecct to make MHS compile GHC.. | 20:32:24 |
| Artem | * often times, GHC HEAD can't be compiled with a GHC just out of the support window (last three releases or so). I'd expect it to be a non-trivial project to make MHS compile GHC... | 20:32:37 |
| emily | does GHC not use type families or generics? | 21:02:18 |
| emily | or implicit parameters or magic hash? | 21:02:31 |
| emily | https://discourse.haskell.org/t/microhs-and-hackage/12916/6 | 21:02:36 |
| emily | sounds unlikely to me | 21:02:43 |
| Alex | Can't know how much effort it is until someone actually tries. | 21:16:57 |
| emily | well | 21:22:32 |
 maralorn | Looking at all the hype that MicroHS is getting I can’t imagine that no one is thinking about it. 😄 | 21:22:44 |
| emily | people tried to get even ancient GHC building with Hugs without success | 21:22:45 |
| emily | so my prior is at least not totally uninformed | 21:23:03 |
| emily | the sad thing about MicroHs is that AFAICT it won't offer a true from-source bootstrap | 21:23:21 |
| emily | just a more portable blob one | 21:23:27 |
| emily | since you still must go through an unauditable machine-generated C file to start with | 21:23:52 |
| emily | maybe someone could implement an interpreter to run MicroHs to start it off though 🫠 | 21:24:16 |
| emily | https://www.joachim-breitner.de/blog/802-More_thoughts_on_a_bootstrappable_GHC
https://elephly.net/posts/2017-01-09-bootstrapping-haskell-part-1.html
| 21:25:12 |
| emily | some background reading for anyone considering embarking on this task | 21:25:25 |
| Alex | In reply to @emilazy:matrix.org
the sad thing about MicroHs is that AFAICT it won't offer a true from-source bootstrap Why not?
It runs fine under Hugs. I've already gotten that working. | 21:28:07 |
| emily | that's promising then | 21:28:22 |
| emily | although it also means maintaining Hugs to keep it working with newer C compilers :) | 21:28:45 |
| emily | but might not be too bad | 21:28:58 |
