Non. Pour toute une classe d'erreur que l'on est capable de vérifier statiquement ce n'est pas une question de recherche, mais d'implémentation/industrialisation. Ce n'est pas parce que tu ne l'a pas en standard dans ton compilateur/interpréteur/jit que la théorie n'est pas déjà formalisée :-)
Ce qui est possible c'est que l'extraction d'invariants dans ton langage soit très complexe.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Typage strict
Posté par barmic . En réponse à la dépêche Sortie de PHP 7.0 - un nouveau départ. Évalué à 3.
Non. Pour toute une classe d'erreur que l'on est capable de vérifier statiquement ce n'est pas une question de recherche, mais d'implémentation/industrialisation. Ce n'est pas parce que tu ne l'a pas en standard dans ton compilateur/interpréteur/jit que la théorie n'est pas déjà formalisée :-)
Ce qui est possible c'est que l'extraction d'invariants dans ton langage soit très complexe.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)