Hacker News Reader

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.

View on HN

For 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/

2. Implement toy type systems. There are several resources for this, but personally, I like this one: http://plzoo.andrej.com/

Thank you for the links brother

Reply on news.ycombinator.com