yann@lrde.epita.fr (Yann Régis-Gianas) writes:

spip <spip@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.

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@lrde.epita.fr