Milline on Dart keele tüübi süsteem?

Dart tipizācijas sistēma ir spēcīga, statiska ar iespēju dinamiski noteikt tipu.

Galvenās koncepcijas:

• Statiskā tipizācija: Mainīgo tipi tiek pārbaudīti kompilācijas laikā. Tas palīdz atklāt kļūdas pirms lietojumprogrammas palaišanas.

  // Statiskās tipizācijas piemērs
  int vecums = 30;
  // vecums = "trīsdesmit"; // Kompilācijas kļūda
  

• Tipu izvilkšana (Type inference): Kompilators var automātiski noteikt mainīgā tipu pēc piešķirtās vērtības.

  // Tipu izvilkšanas piemērs
  var vārds = "Alise"; // Kompilators noteiks tipu String
  

• Dinamiskais tips (dynamic): Ļauj mainīgajam glabāt jebkura tipa vērtību. Tipu pārbaude notiek izpildes laikā (runtime). dynamic izmantošanu vajadzētu minimizēt.

  // Dinamisks tips piemērs
  dynamic vērtība = 10;
  vērtība = "sveiki";
  

• Null drošība (Null Safety): Ieviesta, lai novērstu kļūdas, kas saistītas ar null vērtībām. Mainīgie pēc noklusējuma nevar būt null, ja tie tieši nav atzīmēti kā nullable (?).

  // Null drošības piemērs
  String ne-nullableString = "nav null";
  // ne-nullableString = null; // Kompilācijas kļūda
  
  String? nullableString = null; // Atļauts būt null
  

• Sound Null Safety: Nodrošina, ka jebkuras darbības ar ne-nullable tipiem nesīs līdzi NullPointerException vai tā analogu Dart valodā, ja vien nulles pieļaušana nav tieši atļauta.

Dart tipizācijas sistēma nodrošina līdzsvaru starp statiski tipizēto valodu drošību un dinamiski tipizēto valodu elastību.