Ну вот, например, на реддите тоже есть неравнодушные:))
Statically type checked functional programming language.
100% thread safe runtime.
Under active development by experts in programming language theory.
Recent updates to the language include the latest in formal methods, namely generalized algebraic data types, and dependent types.
GHC is a library that comes with a REPL with a very efficient byte-code interpreter.
Haskell can be compiled to native binary code.
GHCI provides a seamless interface to native binaries from interpreted code.