Scala: sharp and gets things cut

Re:Scala: sharp and gets things cut by nathansobo on Monday October 07, 2013 @12:00PM (#6509104)

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?

[ Parent | on HN ]

Re:Scala: sharp and gets things cut by zeckalpha on Monday October 07, 2013 @12:30PM (#6509342)

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

[ Parent | on HN ]

Re:Scala: sharp and gets things cut by gruseom on Monday October 07, 2013 @02:49PM (#6510338)

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

[ Parent | on HN ]