Мне показалась интересной (правда несколько сбивчивой) новая лекция на Google Tech Talks от Филипа Вадлера под названием Faith, Evolution, and Programming Languages
Там он рассказывает про типы классов Хаскела, дженерики Джавы и про так называемые Evolutionary Types.
Забавным кажется замечание про то, что противопоставление динамика/статика берёт своё начало ещё от споров Хаскелла
Карри и Алонзо Чёрча.