На InfoQ опубликовали интересное (но короткое) интервью с Джоном Хьюзом, автором "Why functional programming matters", QuickCheck и др.
В нём он говорит об Эрланге с точки зрения "хаскелиста", о том как там ему помешало состояние (в функциональном, по идее, языке ), о том, что он в Эрланге использует монады, о том, что QuickCheck заметно ближе к спецификациям программ чем обычные юнит-тесты, и др.