Care este sistemul de tipizare în limbajul Dart…

Sistemul de tipizare în Dart este puternic, static și permite determinarea dinamică a tipului.

Conceptele principale:

Tipizare statică: Tipurile variabilelor sunt verificate în timpul compilării. Acest lucru ajută la detectarea erorilor înainte de rularea aplicației.
```
// Exemplu de tipizare statică
int vârstă = 30;
// vârstă = "treizeci"; // Eroare de compilare
```
Inferența tipurilor: Compilatorul poate determina automat tipul unei variabile pe baza valorii atribuite.
```
// Exemplu de inferență a tipurilor
var nume = "Alice"; // Compilatorul va deduce că este String
```
Tip dinamic (dynamic): Permite unei variabile să stocheze valori de orice tip. Verificarea tipurilor se face în timpul execuției. Se recomandă minimizarea utilizării dynamic.
```
// Exemplu de tip dinamic
dynamic valoare = 10;
valoare = "salut";
```
Siguranța Null (Null Safety): A fost introdus pentru a preveni erorile legate de valori null. Variabilele implicit nu pot fi null, cu excepția cazului în care sunt marcate explicit ca nullable (?).
```
// Exemplu de null safety
String nonNullable = "nu null";
// nonNullable = null; // Eroare de compilare

String? nullable = null; // Permis să fie null
```
Siguranța Null strictă: Asigură că operațiile cu tipuri non-nullable nu vor duce la excepția NullPointerException, cu excepția cazului în care nullabilitatea a fost permisă explicit.

Sistemul de tipizare în Dart oferă un echilibru între siguranța limbajelor tipizate static și flexibilitatea limbajelor tipizate dinamic.

Care este sistemul de tipizare în limbajul Dart?