"a non-strict, pure functional programming language in the spirit of Haskell"

A question for the Haskell gurus out there, particularly @donsbot and @bos31337:

What an amazing resource. Every language needs a definitive, well-maintained guide like this one.

"A supercompiler is a program transformer that traces the possible generalized histories of computation by the source program, and builds an equivalent target program, whose structure is, in a sense, "simpler" than the structure of the source program. The simplification is achieved by removing certain "redundant" actions from the source program."

"a binary-based efficient object serialization library. It enables to exchange structured objects between many languages like JSON. But unlike JSON, it is very fast and small."

"a wiki backed by a git or darcs filestore"

"a domain specific language for the design, implementation and verification of cryptographic algorithms, developed over the past decade by Galois for the United States National Security Agency"

"a general programming language specifically aimed at the construction of complex event-driven systems. It allows programs to be conveniently structured in terms of objects and reactions, and the real-time behavior of reactions can furthermore be precisely controlled via platform-independent timing constraints."

"a Haskell library for converting from one markup format to another, and a command-line tool that uses this library"

On type systems. Some history, some practice.

self: if you ever get into Haskell, read this blog. And trim your beard.