Here is an example written in Haskell which illustrates both of these features: map _ = map f (h : t) = f h : map f t This code defines a function map, which applies the first argument (a function) to each of the elements of the second argument (a list), and returns the resulting list.
Slijedi primjer napisan u Haskellu koji osvjetljuje oba navedena svojstva: map _ '''=''' map f (h : t) '''=''' f h : map f t Ovaj kod definira poznatu funkciju map, koja primijenjuje prvi argument (funkciju) na svaki od elemenata drugog argumenta (liste), i vraća rezultirajuću listu.