The Futamura projections are really cool: partially applying an interpreter gives you a compiler!
I'm not really sure what this enables though. You'd get a pretty poor compiler.
Is this idea used much? I've occasionally heard it referenced for RPython.
miniblog.
Related Posts
I'm experimenting with Atuin for searching my terminal history: https://atuin.sh/
Previously I'd just used fzf to find items, which does work nicely. Occasionally I *really* want to search "commands which were run in this directory" though, which Atuin offers.
Should programming language docs come with exercises for the reader to test their understanding?
This feels like a great way to help people learn, and you could even measure docs by pass rate.
I've seen online books occasionally use this format, but never official resources.
I occasionally see people debate whether important functions should occur first, or helper functions first.
I've not seen it enforced though. It's hard to programmatically enforce.
OCaml takes a side: you have to put helper functions first!