So you want to write a type checker(languagengine.co)
languagengine.co
So you want to write a type checker
http://languagengine.co/blog/so-you-want-to-write-a-type-checker/
2 comments
A follow-up to my "So you want to learn type theory" reading list. Here I show you how to write a simple type checker using JS.