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 <noteed@gmail.com>:

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