1 Jul
2004
1 Jul
'04
11:13 a.m.
yann(a)lrde.epita.fr (Yann Régis-Gianas) writes:
spip <spip(a)lrde.epita.fr> writes:
We are not talking about ambiguities here. Just real type checking.
I want to add that on C++, disambiguation needs types not just kind of
types because of template specializations.
--
Valentin David
valentin(a)lrde.epita.fr
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.