Get the latest tech news
The Easiest Way to Build a Type Checker
f software that feel incredibly simple, yet incredibly complex. Seeing Hindley-Milner written in a logic programming language is almost magical, but it never helped me understand how it was implemented.
None
Or read this on Hacker News
