[–] tempodox 11y ago ↗ 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. [–] kd0amg 11y ago ↗ 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 11y ago ↗ It has a small error, which I have corrected here: https://github.com/KMahoney/Algorithm-W-Step-By-Step [–] mcguire 11y ago ↗ 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. [–] Patient0 11y ago ↗ I've been working my way through this which in my opinion is excellent: http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval
[–] kd0amg 11y ago ↗ 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 11y ago ↗ It has a small error, which I have corrected here: https://github.com/KMahoney/Algorithm-W-Step-By-Step
[–] kpmah 11y ago ↗ It has a small error, which I have corrected here: https://github.com/KMahoney/Algorithm-W-Step-By-Step
[–] mcguire 11y ago ↗ 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.
[–] Patient0 11y ago ↗ I've been working my way through this which in my opinion is excellent: http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval
[–] eli_gottlieb 11y ago ↗ It would be bizarrely useful to me if someone had something like this for the Calculus of Constructions.
6 comments
[ 0.19 ms ] story [ 2049 ms ] threadAs 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.
For an introduction, I would also recommend "Algorithm W Step by Step"
http://www.grabmueller.de/martin/www/pub/AlgorithmW.pdf
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.