Programming Methods Laboratory
EPFL, Lausanne
4pm Tuesday 27th September 2005
Room 2511, JCMB, King's Buildings
In this talk (hopefully a rather interactive tutorial), we'll glance over various facets of the Scala programming language, from syntactic conviences over case classes and XML facilities up to a worked example of how abstract type members contribute to writing truely generic modules. If time, we will discuss the extenstions necessary to get "usable" GADTs to the language - as the tutorial will show, the only missing part is to add unification to the typing of pattern matching.