InfoQ Homepage Presentations The Trouble With Types
The Trouble With Types
Summary
Martin Odersky outlines the main categories of static type systems as well as some new developments, and discuss the tradeoffs they make.
Bio
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.
About the conference
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.