Implementations of various type systems in OCaml

tempodox · on Aug 13, 2014

Wow, this is so cool. I've been looking for a hands-on tutorial for H-M typology for a while now.

As a side note, it's nice to see how OCaml somewhat seems to become the de-facto standard as the environment of choice for PL design & experiments.

mcguire · on Aug 13, 2014

You have read Types and Programming Languages, right? :-)

Haskell and Scheme are the other two perennial choices, with Haskell getting the advantage in type-system work. But Pierce's shadow and Ocaml is getting hard to avoid.

kd0amg · on Aug 13, 2014

I've been looking for a hands-on tutorial for H-M typology for a while now.

For an introduction, I would also recommend "Algorithm W Step by Step"

http://www.grabmueller.de/martin/www/pub/AlgorithmW.pdf

kpmah · on Aug 13, 2014

It has a small error, which I have corrected here: https://github.com/KMahoney/Algorithm-W-Step-By-Step

Patient0 · on Aug 13, 2014

I've been working my way through this which in my opinion is excellent: http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval

eli_gottlieb · on Aug 14, 2014

It would be bizarrely useful to me if someone had something like this for the Calculus of Constructions.