Funzioni
# (function x -> x + 1) 3;;
# (function x -> x + 1) true;;
This expression has type bool but is here used with type int
# function x -> function y -> x y;;
- : ('a -> 'b) -> 'a -> 'b =
# (function x -> x) (function x -> x + 1);;
# function (x, y) -> x + y;;
# (function (x, y) -> x + y) (2, 33);;