"Pour un système de type par exemple, on peut faire remonter le type de chaque expression, ainsi que toutes les contraintes de types qui sont dans les sous-expressions, et l'ensemble des variables libres. Ces informations devraient normalement être suffisantes pour pouvoir déterminer tous les types."
Oui, mais tu as besoin de l'ast, dans ce cas, pour aller chercher tous les types en question.
[^] # Re: Dans l'art voluptueuse de ne rien comprendre
Posté par Nicolas Boulay (site web personnel) . En réponse au journal EDSL et F-algèbres. Évalué à 3.
Oui, mais tu as besoin de l'ast, dans ce cas, pour aller chercher tous les types en question.
"La première sécurité est la liberté"