Typesjekk
Typesjekk, eller typekontroll, er prosessen med å verifisere at operasjoner i et program brukes med verdier av riktige eller kompatible typer. Målet er å oppdage typefeil og dermed forbedre pålitelighet og sikkerhet, enten under kompilering eller ved kjøring, avhengig av språk og implementasjon.
Det finnes statisk og dynamisk typesjekk. Statisk typesjekk utføres vanligvis av kompilatoren før programmet kjører, og
Viktige begreper og teknikker er type-systemer, typeinferens, unifikasjon og polymorfisme. Mange språk bruker også under- og
Eksempler på bruksområder: TypeScript legger statisk typekontroll på JavaScript; Rust har streng statisk typekontroll og livstidsanalyse;
Begrensninger og nyanser: ikke all programlogikk kan modelleres med typekontroll, og avanserte dynamiske teknikker eller avvikende