• F* (диалект F#, который является диалектом ML) -- один из первых универсальных языков программирования с работающей верификацией, компилятор
  • Компилятор Haskell'a пишут всего лишь люди :) Если "закешировать" обращение токенов, скорость увеличивается в два раза.
  • А знающих Haskell на более менее приличном уровне должно быть на несколько порядков меньше.
  • Проблема Haskell в том, что это язык, построенный на ленивых вычислениях, и никто не придаёт ему значения.
    Не найдено: compiler
  • Хаскель заборол динамику фп и недобитые либы камля.
    Не найдено: compiler
  • Для Haskell - компилятор Haskell в виртуальную машину SEAM.
  • В этой связи возникает вопрос о будущем сей относительно будущего плюсов, явы, Erlang и Haskell.
  • Erlang и Clojure могут чморить всех кроме Haskell, Scala, OCaml.
  • Компилятор Си написан на Haskell, компилятор Basic без сырцов.
  • В общем ядро пишется на Haskell и отлаживается на интерпретаторе.