Haskell

Čistě funkcionální, deklarativní jazyk. Mezi hlavní rysy patří

• neměnná hodnota proměnných
• silný statický typový systém
• automatická dedukce datových typů
• izolace kódu s vedlejšími efekty pomocí typového systému (IO monad)
• důraz na snadnou kompozici a znovupoužitelnost kódu
• garbage collector
• ...

Kód lze zkompilovat do binární podoby nebo jej spustit v interaktivním (REPL) prostředí. Překladač umí automaticky odvodit datový typ výrazu, takže typové signatury slouží především jako dokumentace, která je automaticky generována nástrojem Haddock (podobně jako u sys. Doxygen).

Absence vedlejších efektů a interaktivní prostředí výrazně usnadňuje manuální testování kódu, které lze doplnit o property-based testing pomocí QuickCheck (vlastnosti jako např.

reverse . reverse == id

tj. že obrátíme-li pořadí prvků seznamu dvakrát, dostaneme původní seznam).

Mnoho knihoven lze najít na stránce Hackage. Tyto moduly jsou distribuovány jako balíčky pro nástroj cabal, kterým lze instalovat moduly lokálně i se závislostmi.

Existují dvě on-line dostupné knihy: Learn You Haskell a Real World Haskell

K hlavním implementacím patří Ghc a Hugs.

Jedním z častých příkladů kódu je (neefektivní) třídící algoritmus:

quickSort :: Ord a => [a] -> [a]
quickSort []     = []
quickSort (x:xs) = smaller ++ [x] ++ bigger
  where
    smaller = [a | a <- xs, a <  x]
    bigger  = [a | a <- xs, a >= x]