4 ms·
If I remember right, TAPL (Types and Programming Languages by Benjamin Pierce) contains implementations for nearly everything that it talks about. So you can fi
by shadowfox 11y ago
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.
- deleted 11y ago[deleted]
- danblick 11y agoYes, there are implementations for many of the type systems in the book. :) https://www.cis.upenn.edu/~bcpierce/tapl/checkers/ 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.