IRC channel logs
2025-11-05.log
back to list of logs
<Googulator>A short while back, someone asked about that other Lazy ML compiler written in Haskell. I was finally able to find it again: https://github.com/GunterMueller/Rio (it's hard to Google for, because it doesn't have "LML", "LazyML" or "Lazy ML" in its name) <Googulator>If this can be ported to Hugs or MicroHs, we could use it to kickstart a bootstrap chain for HBC <Googulator>of course, then we run into the problem of building GHC with HBC - GHC v0.26, the oldest surviving version, is also the first *not* to support that <jackdk>Googulator95: I haven't said anything before because I don't have much to show, but I've been working on-and-off on a lazy functional runtime written in C99 (In the style of Turner1979, like MicroHS's). I had it reducing things well but restarted once I realised that a) my combinator library wasn't expressive enough to make writing in it possible, and b) that I'd stuffed up the handling of indirections, so it was going to break lazy eval. <jackdk>Currently reading all the papers so I can get a threaded runtime that works properly, instead of trying to retrofit that onto a single-threaded runtime and probably going insane.