Query-Based Compiler Architectures

Re:Query-Based Compiler Architectures by _bxg1 on Thursday June 25, 2020 @06:36PM (#23646558)

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.

[ Parent | on HN ]

Re:Query-Based Compiler Architectures by vajrabum on Thursday June 25, 2020 @08:28PM (#23647429)

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.

[ Parent | on HN ]

Re:Query-Based Compiler Architectures by Ericson2314 on Thursday June 25, 2020 @10:18PM (#23648043)

They are talking about the idea, and their implementation, which is in Haskell.

[ Parent | on HN ]

Re:Query-Based Compiler Architectures by yingw787 on Thursday June 25, 2020 @07:07PM (#23646805)

I think the author linked a Rust example of a query-based compiler: https://github.com/salsa-rs/salsa

[ Parent | on HN ]