Le typage de CAML X

Le typage de CAML X

Exemple

#let id = function x -> x;;
id : 'a -> 'a = <fun>
#id true,id 1;;
- : bool * int = true, 1

Env |- id : a.a ® a

Env |- id : int ® int

Env |- true : bool

Env |- id true : bool

#(function f -> f true,f 1) (function x -> x);;
Entrée interactive:
>(function f -> f true,f 1) (function x -> 
x);;
>                        ^
Cette expression est de type int,
mais est utilisée avec le type bool.