Wat is het type-systeem in de Dart-taal?

Het type-systeem in Dart is sterk, statisch en maakt dynamische typebepaling mogelijk.

Belangrijkste concepten:

Statische typecontrole: Variabelen worden tijdens compilatie gecontroleerd. Dit helpt fouten te detecteren voordat de applicatie wordt uitgevoerd.
```
// Voorbeeld van statische typecontrole
int leeftijd = 30;
// leeftijd = "dertig"; // Compileerfout
```
Type-inferentie: De compiler kan automatisch het type van een variabele bepalen op basis van de toegewezen waarde.
```
// Voorbeeld van type-inferentie
var naam = "Alice"; // De compiler concludeert dat het een String is
```
Dynamisch type (dynamic): Laat een variabele waarden van elk type opslaan. Typecontrole gebeurt tijdens runtime. Het gebruik van dynamic wordt aanbevolen te minimaliseren.
```
// Voorbeeld van dynamisch type
dynamic waarde = 10;
waarde = "hallo";
```
Null-veiligheid (Null Safety): Geïntroduceerd om fouten gerelateerd aan null-waarden te voorkomen. Variabelen kunnen standaard niet null zijn, tenzij expliciet gemarkeerd als nullable (?).
```
// Voorbeeld van null safety
String nietNull = "niet null";
// nietNull = null; // Compileerfout

String? nullable = null; // Mag null zijn
```
Strikte Null Safety: Zorgt ervoor dat operaties met niet-nullbare types geen NullPointerException veroorzaken, tenzij nullbaarheid expliciet is toegestaan.

Het type-systeem in Dart biedt een balans tussen de veiligheid van statisch getypte talen en de flexibiliteit van dynamisch getypte talen.