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