Koji je sistem tipizacije u jeziku Dart?

Sistem tipizacije u Dart-u je snažan, statičan i omogućava dinamičko određivanje tipa.

Glavni koncepti:

• Statička tipizacija: Tipovi promenljivih se proveravaju tokom kompilacije. Ovo pomaže u otkrivanju grešaka pre pokretanja aplikacije.

  // Primer statičke tipizacije
  int starost = 30;
  // starost = "trideset"; // Greška pri kompilaciji
  

• Inferencija tipova: Kompajler može automatski odrediti tip promenljive na osnovu dodeljene vrednosti.

  // Primer inferencije tipova
  var ime = "Alice"; // Kompajler će odrediti da je String
  

• Dinamički tip (dynamic): Omogućava promenljivoj da čuva vrednosti bilo kog tipa. Provera tipova se vrši tokom izvršavanja. Preporučuje se minimiziranje korišćenja dynamic.

  // Primer dinamičkog tipa
  dynamic vrednost = 10;
  vrednost = "zdravo";
  

• Sigurnost null (Null Safety): Uvedena je da bi se sprečile greške povezane sa null vrednostima. Promenljive po default-u ne mogu biti null, osim ako nisu eksplicitno označene kao nullable (?).

  // Primer null safety
  String neNull = "ne null";
  // neNull = null; // Greška pri kompilaciji
  
  String? nullable = null; // Dozvoljeno je biti null
  

• Stroga null sigurnost: Osigurava da operacije sa ne-null tipovima neće izazvati izuzetak NullPointerException, osim ako nullability nije eksplicitno dozvoljena.

Sistem tipizacije u Dart-u pruža balans između sigurnosti statički tipiziranih jezika i fleksibilnosti dinamički tipiziranih jezika.