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
Voordelen van typeveiligheid zijn onder meer verhoogde betrouwbaarheid, gemakkelijker onderhoud en betere ondersteuning bij refactoring, doordat
Typeveiligheid biedt geen absolute garantie voor foutloosheid, en sommige talen laten mechanismen toe om typechecks te