Un typage statique offre davantage de possibilité et permet une auto-documentation.
Il permet notamment des optimisations statiques par le compilateur qui ne sont pas négligeables.
Et si le système de type est bien conçue il prend en compte la notion de non nullité d'objets.
Si le langage est bien conçue il offre un mécanisme d'assrtions.
Les types, la non nullité et les assertions permettent une documentation complète, ou presque, d'une méthode, permettent une série de vérification renforçant grandement la fiabilité, la robustesse, la correction de l'application et son optimisation.
[^] # Re: Je soutiens
Posté par conaclos . En réponse au journal Typage statique versus typage dynamique. Évalué à 1.
Je soutiens vos propos.
Un typage statique offre davantage de possibilité et permet une auto-documentation.
Il permet notamment des optimisations statiques par le compilateur qui ne sont pas négligeables.
Et si le système de type est bien conçue il prend en compte la notion de non nullité d'objets.
Si le langage est bien conçue il offre un mécanisme d'assrtions.
Les types, la non nullité et les assertions permettent une documentation complète, ou presque, d'une méthode, permettent une série de vérification renforçant grandement la fiabilité, la robustesse, la correction de l'application et son optimisation.