30 Jun
2004
30 Jun
'04
6:01 p.m.
spip <spip(a)lrde.epita.fr> writes:
Mais la vraie question est : implémenter la
vérification des types sur
la grammaire du C a t'elle un sens ? est ce necessaire ? est ce juste un
luxe inutile ?
Hum. Est-ce qu'il ne suffirait pas de faire une propagation des sortes ?
Si on sépare les identifiants qui dénotent les types, les types d'ordre
sup',
et ceux qui dénotent des valeurs, on doit avoir réglé un gros nombre
d'ambiguïté, non ?
Il me semblait que Robert était allé dans cette voie.