From Telecomix Crypto Munitions Bureaulazily evaluated programming language created by type- and category theory nerds. The programming language consists of constructs such as functions, functors and monads, concepts well known to mathematicians and philosophers.
Haskell lives somewhere close to the point where logic, math and (formal) languages is the same thing as computer science. For example, it is insanely simple (=little code) to write compilers in haskell, compared to in many other languages. Writing code in haskell may sometimes feel like doing machine-math.
Haskell is useful for programming very high level code, when it is more important to conserve the time spent by the programmer for creating solutions to problems than it is to conserve the time spent by the computing hardware to compute those solutions. Or, when beauty is sought after.
Haskell contains an interface for invoking C-code for those very few problems that actually need to be solved quickly. Also, remember that when the size of the data sets approach infinity, it does not really matter which programming language is used for processing data, as long as the computational complexity is kept low.
 Similar languages
- Agda - Semi-automatic theorem prover with dependent types 1f03 li>
- Coq - kindof same as Agda
- ML, the metalanguage
- Erlang - if haskell is elvish, erlang is robotish