I think you should implement Hindley-Milner in the language of your choice for a small toy λ-calculus. Did this a little while ago (as a stepping stone to buil

I think you should implement Hindley-Milner in the language of your choice for a small toy λ-calculus. Did this a little while ago (as a stepping stone to building an inference system for a more complicated calculus). https://gist.github.com/jrslepak/6158954 https://gist.github.com/jrslepak/6158954