Martin Odersky outlines the main categories of static type systems as well as some new developments, and discuss the tradeoffs they make.
Martin Odersky is co-founder of Typesafe, the creator of the Scala programming language, and a professor in the programming research group at EPFL, the leading technical university in Switzerland. He wrote javac, the compiler used by the majority of today's Java programmers, and scalac, the compiler used by the fast-growing Scala community. He authored "Programming in Scala", a best-seller.
Strange Loop is a multi-disciplinary conference that aims to bring together the developers and thinkers building tomorrow's technology in fields such as emerging languages, alternative databases, concurrency, distributed systems, mobile development, and the web.
Interesting developments for Scala in the works, it seems
Personally, Type Classes make sense in Haskell but I was not sure about the need for higher kinded types in languages with OO features. From Odersky's talk it seems you can do without them in Scala and thereby reduce complexity.