Недавно видел чьи-то потуги реализовать на haskell решение японских кроссвордов. Реализованная программа на современных машинах работала несколько минут. В то время как программа на паскале, на 80386 (33 MHz) отрабатывала за секунды.
Вот поэтому никто и не хочет. Гарантии это здорово, но не стократным же оверхедом.