Avantages et inconvénients des systèmes de types statiques

Un langage est statiquement typé si le type d’une variable est connu à la compilation. Autrement dit, les types sont vérifiés avant l’exécution. La plupart des systèmes de types statiques présentent des avantages et des inconvénients bien connus. L’implémentation de Scala, qui est avancée, tente de pallier certains inconvénients.

Dans cet exercice, vous allez classer des affirmations sur les systèmes de types statiques selon qu’il s’agit d’un avantage, d’un inconvénient, ou d’un inconvénient pris en charge par une fonctionnalité du système de types statique de Scala.