3 ms·
Can anyone recommend a resource that will teach me how to write a compiler for a statically typed compiled language? Pretty much every tutorial and resource foc
by typon 7y ago
Can anyone recommend a resource that will teach me how to write a compiler for a statically typed compiled language? Pretty much every tutorial and resource focuses on dynamic interpreted languages. I want to learn how to implement a type system inside a compiler.
- Drup 7y agoFor the type system aspects, there are two steps: 1. Learn the theory. Yes, you need to. On this matter, the book "Types and Programming Languages" (or TAPL for short) is the bible: https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/ 2. Implement toy type systems. There are several resources for this, but personally, I like this one: http://plzoo.andrej.com/ http://plzoo.andrej.com/
- typon 7y agoThank you for the links brother