Effectivement, si il y a possibilité que le programme modifie son propre code dynamiquement à l’exécution comme en LISP, ça semble compliqué de vérifier à la compilation si les modifs dynamiques sont bien typées. J’imagine qu’il faudrait contraindre les modifications dynamiques par des types « modification dynamiques » par exemple, sinon on bute probablement sur l’impossibilité d’anticiper le comportement du programme statiquement (problème de l’arrêt tout ça).
[^] # Re: Typage dynamique
Posté par thoasm . En réponse au lien Julia 1.0.0. Évalué à 3.
Effectivement, si il y a possibilité que le programme modifie son propre code dynamiquement à l’exécution comme en LISP, ça semble compliqué de vérifier à la compilation si les modifs dynamiques sont bien typées. J’imagine qu’il faudrait contraindre les modifications dynamiques par des types « modification dynamiques » par exemple, sinon on bute probablement sur l’impossibilité d’anticiper le comportement du programme statiquement (problème de l’arrêt tout ça).