Comment by _bxg1
6 years ago
Really interesting ideas, though I think the content is hampered a bit by the use of what I think is Haskell in the examples. It hinders accessibility when you're having to learn two unrelated things in parallel, and I don't think the average audience for this piece can be expected to know Haskell well enough to follow along effectively.
This is from a blog that has 2 posts. Both discuss a compiler for an experimental dependently typed language. That's a fairly specialized topic.
They are talking about the idea, and their implementation, which is in Haskell.
I think the author linked a Rust example of a query-based compiler: https://github.com/salsa-rs/salsa