Erlang интерпретатор - но с очень высокой производительностью, ее хватает на этом языке писать ПО для сетевых устройств, обслуживающих миллионы запросов в сети.
Haskell в основном используется как компилятор, поэтому в этом случае жаловаться не на что. Если с математикой в создаваемой программе в порядке, не будет он тормозной, а наоборот быстрее любой другой программы. Компилятор ghc сейчас отточен до совершенства.
Если и есть тормоза - так это лишь от математики, алгоритмов. Эти проблемы в любом языке есть, но в haskell они решаются на самом начале решения задачи, а не когда уже потрачены часы на кодирование и в этом вижу принципиальное отличие которое должно экономить время на разработку и отладку кода. Если программирование на обычном языке называют кодированием, то программирование на языке haskell будет похоже на описание алгоритма, а не на кодирование алгоритма.
---------- Post added at 02:24 ---------- Previous post was at 02:22 ----------
Их несколько, самое что на слуху это
Лямбда-исчисление
http://thesz.livejournal.com/11693.html?thread=1424045
Опционально я бы еще добавил привычную комбинаторику и теорию нечетких множеств. Кажется так они называются. Для моих задачек этого надеюсь хватит.





Ответить с цитированием