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-t...
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/~nikita...
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
2013/1/18 Petr P < petr.mvd@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