4 ms·
Implementations of various type systems in OCaml
- tempodox 12y agoWow, 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.
- kd0amg 12y agoI'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 http://www.grabmueller.de/martin/www/pub/AlgorithmW.pdf
- kpmah 12y agoIt has a small error, which I have corrected here: https://github.com/KMahoney/Algorithm-W-Step-By-Step https://github.com/KMahoney/Algorithm-W-Step-By-Step
- mcguire 12y agoYou 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.
- Patient0 12y agoI've been working my way through this which in my opinion is excellent: http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval
- eli_gottlieb 12y agoIt would be bizarrely useful to me if someone had something like this for the Calculus of Constructions.