[Haskell-cafe] resources for learning Hindley-Milner type inference for undergraduate students

[Anton Dergunov]

 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 at gmail.com>:
>2013/1/18 Petr P < petr.mvd at 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 at haskell.org
>http://www.haskell.org/mailman/listinfo/haskell-cafe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130118/a9d1b31c/attachment.htm>