Языки будущего

Christopher Diggins в своей последней статье «The Future of Programming Languages» предсказывает, какие концепции будут наиболее важными для языков программирования на ближайшие 10 лет. В частности это обобщенное программирование (шаблоны) и метапрограммирование, автоматическое выведение типов, использование неизменяемых структур данных (см. также здесь), контрактное программирование, замыкания, миксины и интерфейсы вместо множественного наследования, аспектно-ориентированное программирование и т.п. Среди языков, которые наиболее близки к реализации указанных концепций, автор указывает D и Scala.
Наверное, после «Functional Programming in CLEAN», я попробую пролистать «The Scala Language Specifications»