Inhoudsopgave:
Definitie - Wat betekent statisch getypeerd?
Statisch getypeerd is een kenmerk van de programmeertaal waarin variabele typen expliciet worden aangegeven en dus tijdens het compileren worden bepaald. Dit laat de compiler beslissen of een gegeven variabele de gevraagde acties kan uitvoeren of niet.
Bij statisch typen worden typen aan variabelen gekoppeld, niet aan waarden. Enkele voorbeelden van statisch getypeerde programmeertalen zijn:
- Haskell
- FORTRAN
- Java
- C
- C #
- C ++
- Ada
- Jade
- Pascal
- ML
- Perl
- Scala
Techopedia verklaart Statically Typed
Bij statisch typen is het niet nodig om tijdens runtime extra controles uit te voeren om te bevestigen dat een object bepaalde acties kan uitvoeren. Statisch getypeerde programmeertalen voeren typecontrole uit tijdens het compileren in plaats van tijdens de uitvoering, waardoor programma's die in deze talen zijn geschreven veel sneller werken.
Bovendien zijn tooling en refactoring beter in statisch getypeerde talen, omdat de tools de variabeletypes kunnen ontdekken terwijl het programma wordt gecodeerd. Dit helpt om de parameters voor een bepaalde functie en ook de beschikbare methoden voor een specifiek object onmiddellijk te begrijpen. Dit maakt het refactoring-proces ook veel eenvoudiger.
Op enkele uitzonderingen na, zodra een methode of object opnieuw is geactiveerd, is het gemakkelijk om onmiddellijk te begrijpen welke andere codes ervan afhankelijk zijn. Dit brengt echter kosten met zich mee. Op enkele uitzonderingen na, vragen statisch getypte talen om aanvullende annotaties om de compiler op de hoogte te stellen van de beoogde doelstellingen van de auteur.
Als het gaat om objectstructuur, zijn statisch getypte talen vaak minder flexibel in vergelijking met hun dynamische tegenhangers. Het is niet mogelijk om velden en methoden aan een bepaald object toe te voegen tijdens runtime. Dit kan ingewikkeld zijn bij het verwerken van minder gestructureerde gegevens; het parseren van JSON-, XML- of databasequery's leidt bijvoorbeeld tot minder dan ideale objecttoewijzingen.
