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

Хорошая цитата для для священных войн:

There are advantages than not having type checker, namely generic programming. If you do generic programming in Haskell, you can write a paper about it. If you do generic programming in Erlang, it's 4 lines — one for lists, one for tuples, one for basic values. Maybe they are only 3 lines! But it's very easy to do generic programming and I do that a lot in the Erlang version of QuickCheck.

Джон Хьюз, автор "Why functional programming matters".

Там еще пара есть