4 ms·

I found these resources invaluable when implementing my first type system: - Understanding Hindley-Milner http://akgupta.ca/blog/2013/05/14/so-you-still-dont-u

I found these resources invaluable when implementing my first type system: - Understanding Hindley-Milner http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understand-hindley-milner/ http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understa... - Implementing a basic type system http://cs.brown.edu/courses/cs173/2012/book/types.html http://cs.brown.edu/courses/cs173/2012/book/types.html

jwdunne 9y ago
That first link was awesome. The notation can be intimidating but this article has defogged it. Thank you! I'm gonna check out the next article and return to the first. Deserves a second reading.