Quel est le système de typage dans le langage Dart?

Le système de typage en Dart est fort, statique et permet une détermination dynamique du type.

Concepts principaux:

• Typage statique: Les types de variables sont vérifiés lors de la compilation. Cela aide à détecter les erreurs avant l'exécution de l'application.

  // Exemple de typage statique
  int age = 30;
  // age = "trente"; // Erreur de compilation
  

• Inférence de types: Le compilateur peut automatiquement déterminer le type d'une variable en fonction de la valeur assignée.

  // Exemple d'inférence de types
  var nom = "Alice"; // Le compilateur inférera que c'est un String
  

• Type dynamique (dynamic): Permet à une variable de stocker des valeurs de n'importe quel type. La vérification des types se fait au moment de l'exécution. Il faut minimiser l'utilisation de dynamic.

  // Exemple de type dynamique
  dynamic valeur = 10;
  valeur = "bonjour";
  

• Sécurité Null (Null Safety): Introduite pour prévenir les erreurs liées aux valeurs nulles. Les variables par défaut ne peuvent pas être null, sauf si elles sont explicitement marquées comme nullable (?).

  // Exemple de null safety
  String nonNull = "pas null";
  // nonNull = null; // Erreur de compilation
  
  String? nullable = null; // Permis d'être null
  

• Null Safety stricte: Garantit que les opérations sur des types non nullables ne causeront pas d'exception NullPointerException, sauf si la nullabilité a été explicitement autorisée.

Le système de typage en Dart offre un équilibre entre la sécurité des langages statiquement typés et la flexibilité des langages dynamiquement typés.