I also found his talk fascinating, but the paper he referred to was a bit unappr... | Hacker News

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

		nathansobo on Oct 7, 2013 \| parent \| context \| favorite \| on: Scala: sharp and gets things cut I also found his talk fascinating, but the paper he referred to was a bit unapproachable for me. Any suggestions for resources that could help get me more comfortable with reading and understanding type calculi?

zeckalpha on Oct 7, 2013 | [–]

Here's the Milner paper which describes ML's type system. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.67....

Wikipedia also helps: https://en.wikipedia.org/wiki/Type_rules

gruseom on Oct 7, 2013 | [–]

Pierce's book (the standard text) is surprisingly readable, at least compared to what I expected.

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