Le typage de CAML II
Application de fonction
Soient
e
1
une expression (fonctionnelle) et
e
2
une expression. L'application
e
1
e
2
est typée avec la règle :
(
App
)
Env
|-
e
1
:
t
1
®
t
2
Env
|-
e
2
:
t
1
Env
|-
e
1
e
2
:
t
2
Exemples:
fact (fact 5)
2 + (4 * 5)
Remarque:
->
est associatif à droite
(
t
1
->
t
2
->
t
3
=
t
1
-> (
t
2
->
t
3
)
)
l'application est associative à gauche
e
1
e
2
e
3
= (
e
1
e
2
)
e
3
