http://blog.jaoo.dk/2008/10/07/the-future-of-programming-languages/

Занимательное выступление. Но я правильно понимаю что он 20 лет ваял языки программирования совершенно не интересуясь что происходит вокруг, и только F# заставил его узреть какой же оказывается может быть вывод типа. Тоже самое с метапрограммированием, упоминаются только динамические языки, хотя существует тот же Nemerle.