The Scala Types

Sun, 23 September 2012

Joined Benjamin Pierce, author of Types and Programming Languages.
What is type theory?
Benjamin's talk at Philly ETE 2012 about Robin Milner.
ML/OCaml, the language of the Unison file synchronizer.
Nathan Haeberlen's dissertation, PeerReview.
Formalization of Scala:
- Featherweight Scala blog post.
- The Curse of Dependent Object Types, Adriaan Moors' formalization of Scala, presented at Scalathon 2011.
System F
Quirrel, a language Daniel and others are working on.
LEAP
Pre-history of Scala:
- local type inference
- colored local type inference
- The Pict Programming Language
Future of type systems:
- Security: Andrew Myers, Steven Zdancewic, F*
- Unification of type checkers and theorem provers.

Direct download: 020-benjamin-pierce.mp3
Category:general -- posted at: 11:58 PM

Scala news, interviews, and opinions.