Notations, définitions I
``Dans l'environnement
Env
, le programme
P
a le type
ty
''
Env
|-
P
:
ty
L'environnement de typage
liste d'association
ë
(
x
1
:
ty
1
),...,(
x
n
:
ty
n
)
û
une fonction d'accès
acces
tq:
acces
(
x
,
ë
(
x
1
:
ty
1
),...,(
x
n
:
ty
n
)
û
)
=
ì
í
î
ty
1
si
x
=
x
1
acces
(
x
,
ë
(
x
2
:
ty
2
),...,(
x
n
:
ty
n
)
û
) sinon
Notre langage des types
Types de base
:
unit
,
int
,
float
,
char
,
string
,...
Types construits
- types constants déclarés
- constructeur de type (opérateur sur les types). e.g,
*
- types paramétrés, e.g,
('a,'b) arbre
Variables de type
:
a
,
b
,... notés
'a,'b,...
