Typage statique vs typage dynamique

Le système de types statique de Scala aide à éviter les bogues dans les applications complexes. Même si le typage statique est au cœur de l’essence de Scala, la notion de système de types peut être difficile à appréhender.

Dans cet exercice, vous allez classer différentes manières de dire la même chose à propos des langages à typage statique et des langages à typage dynamique, pour comprendre ces notions sous tous les angles. Exemple : run time est un synonyme de temps d’exécution.

Les définitions suivantes peuvent vous aider :

Type : restreint les valeurs possibles auxquelles une variable peut faire référence, ou qu’une expression peut produire, au moment de l’exécution.

Compile time : moment où le code source est traduit en code machine, c’est‑à‑dire du code qu’un ordinateur peut lire.

Run time : moment où le programme exécute des instructions (après compilation, s’il est compilé).