> Would you be interested in something along those lines? Yes! That would be very cool to read. I've been working on an implementation of Mini-ML in Python u

> Would you be interested in something along those lines? Yes! That would be very cool to read. I've been working on an implementation of Mini-ML in Python using Robert Small's Hindley-Milner in Python [0] (and also eagerly awaiting the rest of Diehl's series on writing a Haskell). I understand the fundamentals of the algorithm, but even now I don't think I could yet implement it from scratch. I'd love to read a detailed tutorial. By the way, those Cornell lecture notes you referenced have also been very helpful to me. 0. http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/comment-page-1/ http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hind...