Evan Martin (evan) wrote in evan_tech,
Evan Martin

type inference

I decided it was time for me to learn about type inference, and I sat down with the algorithms book I got last quarter only to discover that it had no mention of unification. But at least one paper on unification I found from Google mentions the compilers book I have.

To save you hours of looking: these notes are quite good, building up from the fundamentals to the details in only 20 pages and even discusses the Curry-Howard isomorphism in more depth than I've seen so far in any PL stuff. And it includes exercises and answers!

Everything refers back to the Damas-Milner algorithm published in a 1982 paper that looks like it was written on a typewriter. Heh.

  • megaupload captcha

    Someone make a Javascript-based captcha cracker for megaupload. It's strange to see those captchas again because I idly myself wrote a…

  • zombie ghosd

    I was tickled to discover another IBM developerworks article on one of my abandoned hacks and that both it and its predecessor have been translated…

  • gat, a git clone in haskell

    I've been pretty busy with work lately, so I may as well dump this on the internet before it gets too dusty. Though I think I understand Git decently…

  • Post a new comment


    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 1 comment