De ce numim limbajul Haskell un limbaj functional ?

Deoarece spre deosebire de limbajele imperative care manipuleaza practic DATE sub forma de numere intregi sau valori codate prin numere intregi (caractere, stringuri,pointeri), limbajele functionale manipuleaza FUNCTII codate prin lambda expresii. Cum multimea functiilor este mai bogata decat cea a numerelor intregi (are un cardinal mai mare) asemenea limbaje sunt mult mai expresive.

Exista, e important de stiut, o teorie matematica a lambda calculului. Se studiaza in cadrul cursului de Programare Functionala.