Resources for Amateur Compiler Writers

Re:Resources for Amateur Compiler Writers by nickpsecurity on Monday July 25, 2016 @07:06PM (#12162244)

You have a link to a good guide for beginners on designing and efficiently implementing type checkers?

[ Parent | on HN ]

Re:Resources for Amateur Compiler Writers by catnaroek on Monday July 25, 2016 @07:58PM (#12162432)

This is a nice introductory tutorial on how to implement Hindley-Milner type inference: https://github.com/jozefg/hm

This is a more advanced tutorial that illustrates a nice but tricky optimization that OCaml's type checker internally uses: http://okmij.org/ftp/ML/generalization.html

Finally, TAPL's type checkers are pretty good. They aren't designed for efficiency, though. They're designed to closely follow the book's contents: http://www.cis.upenn.edu/~bcpierce/tapl/checkers/

[ Parent | on HN ]

Re:Resources for Amateur Compiler Writers by nickpsecurity on Monday July 25, 2016 @08:01PM (#12162440)

Thanks for the links!

[ Parent | on HN ]