Hacker News Reader

If I remember right, TAPL (Types and Programming Languages by Benjamin Pierce) contains implementations for nearly everything that it talks about. So you can find another implementation of Hindley-Milner there.

I don't think it includes row typing though.

View on HN

Yes, there are implementations for many of the type systems in the book. :)

https://www.cis.upenn.edu/~bcpierce/tapl/checkers/

The code is pretty elegant. I think it's intended to be clear enough for students in his classes to modify.

Reply on news.ycombinator.com