9 ms·
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'
by _bxg1 6y 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.
- yingw787 6y agoI think the author linked a Rust example of a query-based compiler: https://github.com/salsa-rs/salsa https://github.com/salsa-rs/salsa
- vajrabum 6y agoThis is from a blog that has 2 posts. Both discuss a compiler for an experimental dependently typed language. That's a fairly specialized topic.
- Ericson2314 6y agoThey are talking about the idea, and their implementation, which is in Haskell.