Προγραμματισμός με βάση τις συναρτήσεις

Ο συναρτησιακός προγραμματισμός (functional programming) έχει ως θεωρητική βάση την ανάλυση λ (lambda calculus)
```
λχ.+(χ 2) 1 = 3
```
Αναφορική διαφάνεια (referential transparency)
Πολυμορφικές λίστες και ταίριασμα σχημάτων
```
len [] = 0
len (h : t) = 1 + len t
```

Συναρτήσεις ως πολίτες πρώτης κατηγορίας

map f [] = []
map f (h : t) = (f h) : (map f t)

map ((+) 1) [5, 8, 10] = [6, 9, 11]