Does anyone have any good sources on practical tec...
# thinking-togetherw
wolkenmachine
02/13/2019, 5:22 PMDoes anyone have any good sources on practical techniques for implementing a type system?
m
maxd
02/13/2019, 5:48 PMm
Mariano Guerra
02/13/2019, 5:57 PM
didn't read it yet but read the previous ones, so it should be as good 🙂 https://mitpress.mit.edu/books/little-typer
b
Brian Hempel
02/13/2019, 7:25 PMWhat kind of type system? I implemented Hindley-Milner by starring at wikipedia for a really long time (Algorithm J) and TAPL (Types and Programming Languages). The Chris Done post mentioned above looks pretty good but may be too dense if this is your first go or you’re not familiar with Haskell. https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system https://www.cis.upenn.edu/~bcpierce/tapl/
w
wolkenmachine
02/14/2019, 1:23 PMThanks guys! I'm gonna have a look 🙂