I also agree that Cardelli paper is great. It was also very useful for me to follow Python implementation provided in the following blog post: http://www.smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/
I found it useful to investigate in Python debugger how various terms were interpreted. You may also find useful implementations in Scala and Perl: http://dysphoria.net/2009/06/28/hindley-milner-type-inference-in-scala/ http://web.archive.org/web/20050911123640/http://www.cs.berkeley.edu/~nikitab/courses/cs263/hm.html Also, I have plans to read "Typing Haskell in Haskell" by Mark Jones and "Practical type inference for arbitrary-rank types" by Simon Peyton-Jones et. al. They are also related here, but not directly. -- Best Regards, Anton Dergunov Пятница, 18 января 2013, 11:12 +01:00 от Vo Minh Thu <not...@gmail.com>: >2013/1/18 Petr P < petr....@gmail.com >: >> Dear Haskellers, >> >> could somebody recommend me study materials for learning Hindley-Milner type >> inference algorithm I could recommend to undergraduate students? The >> original paper is harder to understand, I'm looking for something more >> didactic. The students are familiar with the lambda calculus, natural >> deduction and System F. > >I think I really liked > > Cardelli's paper Basic Polymorphic Typechecking, 1987 > >HTH, >Thu > >_______________________________________________ >Haskell-Cafe mailing list >Haskell-Cafe@haskell.org >http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe