Introduction à la programmation fonctionnelle Travaux Pratiques

?
x7→ x2x7→ |x|
sqrt
n7→ n!
f n Pn
i=1 f(i)
?
List.rev_map
??

is_empty
length
map f l
f l
filter f l
f
ordered
quicksort
???
’a ’b
unit ()
(bool,_) tree -> (bool, int
* int) tree
(bool,_) tree -> (bool, bool) tree