Hacker News
- Query-Based Compiler Architectures https://ollef.github.io/blog/posts/query-based-compilers.html 33 comments
Lobsters
- Query-based compiler architectures https://ollef.github.io/blog/posts/query-based-compilers.html 4 comments compilers , haskell
- Query-based compiler architectures https://ollef.github.io/blog/posts/query-based-compilers.html 3 comments haskell
Linking pages
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
- The bytes // they want you https://pnevyk.github.io/posts/query-system-in-rust/ 8 comments
Linked pages
- Langserver.org https://langserver.org/ 169 comments
- Anders Hejlsberg on Modern Compiler Construction - YouTube https://www.youtube.com/watch?v=wSdV1M7n4gQ 57 comments
- GitHub - ollef/sixten: Functional programming with fewer indirections https://github.com/ollef/sixten 45 comments
- Generalized algebraic data type - Wikipedia https://en.wikipedia.org/wiki/Generalized_algebraic_data_type 9 comments
- Build systems a la carte - Microsoft Research https://www.microsoft.com/en-us/research/publication/build-systems-la-carte/ 0 comments
- GitHub - ndmitchell/shake: Shake build system https://github.com/ndmitchell/shake 0 comments
Related searches:
Search whole site: site:ollef.github.io
Search title: Query-based compiler architectures | Olle Fredriksson's blog
See how to search.