Haskell je moderní, čistě funkcionální programovací jazyk, založený na lambda kalkulu a teorii kategorií. Je to jazyk silně typovaný a referenčně transparentní s líným vyhodnocováním.
Protože se deklarace funkcí v Haskellu podobají spíše matematickým definicím než podrobnému popisu výpočtu, vyznačuje se tento jazyk úsporným zápisem a čistotou kódu, což zmenšuje riziko výskytu chyb v programu a zvyšuje efektivitu programování. Za více než 20 let vývoje se z akademického pokusu stal prakticky použitelný jazyk se širokou škálou knihoven a velkou komunitou vývojářů. Co se týká výkonnosti Haskellu, kompilátor GHC se svým výkonem blíží zavedeným nízkoúrovňovým programovacím jazykům.
Pokud vás nástin vlastností jazyka zaujal, můžete začít rovnou úvodním seznámením. Pokud jste ještě s žádným funkcionálním jazykem nepracovali, přečtěte si něco o zásadních odlišnostech, které vás, jako imperativního programátora, mohou z počátku vylekat. Vtipné věci, týkající se (nejen) Haskellu, se nacházejí v sekci Humor. Zajímavá může být jistě i terminologie, pokud hodláte číst nějaké materiály v angličtině.
Tento web je postavený na principech wiki, tedy každý ho může editovat. Budeme rádi, když přispějete i vy!