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.
1 Jul
1 Jul
11:13 a.m.
New subject: Vérification des types pour c-grammar.
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.
7247
days inactive
7248
days old
2 comments
2 participants
participants (2)
-
valentin＠lrde.epita.fr -
yann＠lrde.epita.fr