I found these resources invaluable when implementing my first type system: - Und... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		simplify on Aug 17, 2017 \| parent \| context \| favorite \| on: A programming language from scratch: 3 steps to an... 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-understa... - Implementing a basic type system http://cs.brown.edu/courses/cs173/2012/book/types.html

jwdunne on Aug 18, 2017 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact