typeveilig

Typeveiligheid is een eigenschap van een programmeertaal of van code die ervoor zorgt dat operaties alleen kunnen worden uitgevoerd op waarden van het juiste type. Doordat typefouten worden gevangen of voorkomen, ontstaan minder runtime-errors en wordt de kans op onverwacht gedrag verminderd.

Dit wordt meestal bereikt via een type systeem dat typechecking uitvoert. Typechecking kan statisch zijn (bij compileertijd) of dynamisch (bij runtime). Veel talen hebben een combinatie van sterke typing en type-inferentie, waardoor expliciete typeaanduidingen soms kunnen verdwijnen terwijl de typeveiligheid toch behouden blijft. Generics en mutabiliteitsregels worden vaak gebruikt om de grenzen van wat mag te versterken en zo fouten door verkeerde toepassing van data te verminderen. Sommige talen zijn strikt getypeerd en beperken automatische conversies, terwijl andere toelaten tot zekere vorm van implicit coercion.

Voordelen van typeveiligheid zijn onder meer verhoogde betrouwbaarheid, gemakkelijker onderhoud en betere ondersteuning bij refactoring, doordat het typefouten schoner naar voren brengt voordat de software draait. Daarnaast verbetert typeveiligheid tooling zoals autocompletion en foutmeldingen, wat de ontwikkeling versnelt. Nadelen kunnen bestaan uit extra boilerplate, een steilere leercurve en soms beperkter expressief vermogen in termen van flexibele of dynamische operaties.

Typeveiligheid biedt geen absolute garantie voor foutloosheid, en sommige talen laten mechanismen toe om typechecks te omzeilen. Desondanks vormt een sterk typeveiligheidssysteem een belangrijke factor in de robuustheid en voorspelbaarheid van software.