Haskell je napredni računalni programski jezik. Smatra se čisto funkcionalnim programiranjem, jezik se sastoji od evaluacija izraza. Ti su izrazi obično napisani u formatu u kojem je jedan dio izraza jednak drugom. Jezik je napisan na Haskell platformi i lako se može integrirati s drugim računalnim programskim jezicima.
Temeljen na sustavu lambda računa, Haskell koristi grčki lambda simbol kao svoj logo. Lambda račun ispituje odnose unutar matematičkih funkcija, primjene funkcija i rekurzije. Ovaj matematički sustav funkcionira prema teoriji da su jednostavnije, kraće jednadžbe moćnije od dugih, kompliciranih, a to daje Haskellu osnovu za njegov format koji je jednostavan za korištenje i lako se uči.
Struktura izraza koji se izvode u Haskell-u dopušta programu da teoretski izvodi beskonačne tokove podataka. To je zbog lijenih evaluacijskih svojstava jezika, što znači da je izraz u biti neaktivan sve dok nije potreban u sprezi s drugim iskazom. Kada je potreban, izraz će proizvesti potrebne vrijednosti i preći na sljedeći izraz. Kada se programira kao takvo, to može stvoriti beskonačnu petlju podataka.
Haskell koristi sustav statičkog tipkanja. To omogućuje programu da sam provjeri ima li grešaka prije nego što se program pokrene, što omogućuje hvatanje pogrešaka u kodu prije nego što se program dovrši. Vjeruje se da statičko tipkanje rezultira učinkovitijim kodom od njegovog dinamičkog kolege, a prednost ima samo provjeru dok je napisan. To može značajno uštedjeti vrijeme ako postoji pogreška u bitnim, osnovnim funkcionalnim područjima koda; ako se ne otkrije dok se program ne pokrene, to može značiti veliku preinaku.
Često korišten za programe koje je potrebno redovito mijenjati ili ažurirati, Haskell ima dovoljno zajedničkog s drugim programskim jezicima da je često odskočna daska za programere na njihovom putu prema radu s drugim jezikom. Haskell može prihvatiti i numeričko i simboličko programiranje, a koristile su ga velike tvrtke. Njegova dugovječnost dijelom je posljedica jednostavnog korištenja i stalnih ažuriranja.
Jezik je dobio ime po matematičaru Haskellu Brooks Curryju, koji je veliki dio svog rada radio u teoriji formalnih sustava i procesa. Njegovo istraživanje matematičke logike stvorilo je osnovu na kojoj su izgrađeni računalni programski jezici, uključujući i onaj kojemu je dao ime. Curry je preminuo 1982. godine u dobi od 82 godine.
Platforma za Haskell programiranje dostupna je za preuzimanje s brojnih stranica, uključujući i vlastitu stranicu tvrtke. Preuzimanje je besplatno i dolazi s tutorijalima i vodičima za programere početnike.