Questions marquées «type-checking»

vérifier qu'une variable, une expression ou une valeur a le type déclaré


2
Algorithmes de vérification de type
Je commence une recherche bibliographique personnelle sur les algorithmes de vérification de type et souhaite quelques conseils. Quels sont les algorithmes, stratégies et techniques générales de vérification de type les plus couramment utilisés? Je m'intéresse particulièrement aux algorithmes de vérification de type complexes qui ont été implémentés dans des langages …








1
Qu'est-ce qu'un exemple non artificiel de vérification de type statique trop conservatrice?
Dans Concepts in Programming Languages , John Mitchell écrit que la vérification de type statique est nécessairement conservatrice (trop stricte) en raison du problème d'arrêt. Il donne comme exemple: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Quelqu'un peut-il fournir une réponse non artificielle qui serait vraiment une préoccupation pratique? Je comprends …




2
Relation entre la décidabilité de la vérification de type, la décidabilité de la typabilité et une forte normalisation
Yo! C'est probablement une question stupide, mais je ne l'ai jamais vu écrit explicitement si, par exemple, la décidabilité de la vérification de type est équivalente à la propriété de normalisation forte. Par conséquent, je pose cette question pour clarifier toutes les relations possibles entre la vérification de type, la …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.