Type inference versus expliciete typen

Je kunt het type zelf schrijven of Dart het laten raden. In beide gevallen ontstaat daaronder dezelfde sterk getypeerde variabele.

Een expliciete declaratie vermeldt het type meteen. Dat is duidelijk en beschrijvend voor iedereen die je code leest.

Met var leidt Dart het type af uit de waarde rechts. Je hoeft minder te typen, maar behoudt dezelfde veiligheid omdat het type nog steeds vaststaat.

Afgeleid betekent niet dat het type los is. Een var krijgt nog steeds één concreet type en weigert later toewijzingen met een verkeerd type.

Schrijf het type uit wanneer de waarde op zichzelf dubbelzinnig is, zoals bij een lege lijst, zodat lezers precies weten wat die bevat.

Dart kijkt naar de letterlijke waarde die je schrijft: een punt betekent double, zonder punt betekent int. De vorm van de letterlijke waarde bepaalt de keuze.

Wanneer je een functie aanroept, leidt var automatisch het type van de variabele af uit het retourtype van die functie.

Als je een expliciet type declareert, kan Dart een verkeerde waarde onmiddellijk signaleren, nog voordat de code wordt uitgevoerd.

Er is een afweging: expliciete typen zorgen voor duidelijkheid, terwijl inferentie regels kort houdt. Geef in gedeelde code de voorkeur aan duidelijkheid.

Welke keuze je ook maakt, Dart is statisch getypeerd. Het type ligt vast tijdens het compileren en verandert niet tijdens het uitvoeren.

Laat Dart het type afleiden wanneer de waarde duidelijk is, en schrijf het type wanneer dat betekenis toevoegt. Streef naar code die zichzelf uitlegt.

Je hebt gezien dat expliciete typen de bedoeling documenteren, terwijl inferentie de code kort houdt. Beide blijven statisch getypeerd en veilig. 👍