<aside> 📘 Le "static typing" (typage statique) est un concept en programmation où les types des variables et des expressions sont vérifiés à la compilation plutôt qu'à l'exécution.
Les langages de programmation avec un typage statique requièrent que les types soient déclarés explicitement et vérifiés avant l'exécution, ce qui permet une détection précoce des erreurs de type et une meilleure compréhension du code par les développeurs.
</aside>
https://www.youtube.com/watch?v=d56mG7DezGs
Statically Typed vs Dynamically Typed Languages | Baeldung on Computer Science
💡 Dans un langage de programmation, un type de données fait référence à une caractéristique qui définit la nature de la valeur d'un élément de données. Parmi les exemples les plus courants, on peut citer :
<aside> 💠 Chaque langage de programmation dispose d'un système permettant de vérifier que les valeurs ont été assignées à leur type correct, ce qui est connu sous le nom de vérification de type. Le contrôle de type est essentiel en programmation pour minimiser les erreurs lors de l'exécution des programmes. Ce contrôle intervient généralement au moment de l'exécution ou de la compilation.
</aside>
Il existe 2 catégories de contrôle de type mises en œuvre dans la plupart des langages de programmation : le contrôle statique et le contrôle dynamique :
Principales différences :
| Langages statiquement typés | Langages dynamiquement typés |
|---|---|
| La vérification de type est terminée au moment de la compilation | La vérification de type est terminée pendant l’exécution |
| Des déclarations de type explicites sont générales requises | Des déclarations de type explicites ne sont pas requises |
| Les erreurs sont détectées plus tôt | Les erreurs de type sont détectées plus tard lors de l’exécution |
| Les affectations de variables sont statiques et ne peuvent pas être modifiées | Les affectations de variables sont dynamiques et peuvent être modifiées |
| Produit un code plus optimisé | Produit un code moins optimisé, des erreurs d’exécution sont possibles |