Table des matières:
Définition - Que signifie statiquement typé?
Le typage statique est une caractéristique du langage de programmation dans laquelle les types de variables sont explicitement déclarés et sont donc déterminés au moment de la compilation. Cela permet au compilateur de décider si une variable donnée peut effectuer ou non les actions demandées.
Le typage statique associe des types à des variables et non à des valeurs. Voici quelques exemples de langages de programmation typés statiquement:
- Haskell
- FORTRAN
- Java
- C
- C #
- C ++
- Ada
- Jade
- Pascal
- ML
- Perl
- Scala
Techopedia explique Statically Typed
En saisie statique, il n'est pas nécessaire d'effectuer des vérifications supplémentaires pendant l'exécution pour confirmer qu'un objet peut effectuer certaines actions. Les langages de programmation de type statique effectuent une vérification de type au cours de la compilation plutôt que pendant l'exécution, ce qui accélère l'exécution des programmes écrits dans ces langages.
De plus, l'outillage et le refactoring sont meilleurs dans les langages typés statiquement puisque les outils peuvent trouver les types de variables au fur et à mesure que le programme est codé. Cela permet de comprendre instantanément les paramètres d'une fonction donnée ainsi que les méthodes disponibles pour un objet spécifique. Cela rend également le processus de refactorisation beaucoup plus simple.
À quelques exceptions près, une fois qu'une méthode ou un objet est refactorisé, il est facile de comprendre immédiatement quels autres codes en dépendent. Cependant, cela a un coût. À quelques exceptions près, les langages typés statiquement appellent des annotations supplémentaires pour informer le compilateur des objectifs visés par l'auteur.
En ce qui concerne la structure des objets, les langages typés statiquement ont tendance à être moins flexibles que leurs homologues dynamiques. Il n'est pas possible d'ajouter des champs et des méthodes à un objet donné pendant l'exécution. Cela peut être compliqué lors du traitement de données moins structurées; par exemple, l'analyse de requêtes JSON, XML ou de base de données conduit à des mappages d'objets moins qu'idéaux.
