Mi a típusos rendszer a Dart nyelvben?

A Dart típus rendszer erős, statikus és lehetővé teszi a dinamikus típusmeghatározást.

Fő fogalmak:

Statikus típusellenőrzés: A változók típusait fordítási időben ellenőrzi. Ez segít a hibák felismerésében az alkalmazás futtatása előtt.
```
// Statikus típusellenőrzés példája
int kor = 30;
// kor = "harminc"; // Fordítási hiba
```
Típusbecslés: A fordító automatikusan meghatározhatja egy változó típusát a hozzárendelt érték alapján.
```
// Típusbecslés példája
var nev = "Alice"; // A fordító String-ként értelmezi
```
Dinamikus típus (dynamic): Lehetővé teszi, hogy egy változó bármilyen típusú értéket tároljon. A típusellenőrzés futás közben történik. A dynamic használatát minimalizálni kell.
```
// Dinamikus típus példája
dynamic ertek = 10;
ertek = "szia";
```
Null biztonság (Null Safety): Bevezetésre került a null értékekkel kapcsolatos hibák megelőzése érdekében. Alapértelmezés szerint a változók nem lehetnek null, kivéve, ha kifejezetten nullable (?) jelöléssel vannak ellátva.
```
// Null safety példája
String nemNull = "nem null";
// nemNull = null; // Fordítási hiba

String? nullable = null; // Megengedett null érték
```
Szigorú null biztonság: Biztosítja, hogy a nem-null típusú műveletek nem okoznak NullPointerException kivételt, kivéve, ha a nullabilitás kifejezetten engedélyezett.

A Dart típus rendszere egyensúlyt teremt a statikusan típusos nyelvek biztonsága és a dinamikusan típusos nyelvek rugalmassága között.