Hvad er typesikkerhed?
Typesikkerhed er en del af computerprogrammering, der hjælper med at forhindre oprettelse af fejl, der vises, når et program kører. Hvis typesikkerheden er slap, er der stor sandsynlighed for, at der vil være nogle bugs, som kan forårsage en række fejl. Den mest almindelige måde at sikre, at disse fejl ikke forekommer, er ved at bruge stærk kodning. Mens mange programmeringssprog i sagens natur har funktioner til at sikre programmeringsidelighed og for at forhindre fejl, kan dårlig kodning gøre disse funktioner strømløse. Der er to måder, et programmeringssprog kan kontrollere for disse fejl - statisk eller dynamisk - og begge kan være effektive.
Fejl er almindelige i programmer og kodning, og med typesikkerhed forekommer fejlen specifikt fra forskellige datatyper, der ikke er reguleret korrekt. De fejl, der kan forekomme, spænder fra nominelle til alvorlige, men de fleste har en tendens til at være alvorlige. Dette kan lukke programmet ned, eller den dårlige kodning kan forårsage værre problemer, der kan gøre kodningen ubrugelig og fragmenteret.
Der er mange måder at sikre typesikkerhed på, men en af de lettere og mere almindelige måder er ved at bruge stærk type kodning. I modsætning til blødere kodningsmetoder, som kan gøre det muligt for programmeringssproget at forkert definere akavet kodning, er stærk type kodning meget direkte. Kodning af stærk type bruger også regler og forskrifter for at sikre, at kodningen ikke defineres forkert og sikre, at der er få fejl.
Et brud på typesikkerhed kan resultere i store problemer, så mange programmeringssprog har brugt funktioner til at teste og eliminere - eller advare programmerere om - disse problemer. Inden programmeringen fortsætter med runtime, kontrollerer sproget for almindelige fejl og afbryder normalt runtime-starten, hvis der opdages fejl. På samme tid kan disse funktioner være ubrugelige, hvis programmereren opretter meget dårlig kodning. Sproget kan ikke genkende de almindelige tegn på typesikkerhed, så programmet kører, selvom der er en fejl.
Der findes to metoder til at fange potentielle sikkerhedsspørgsmål, og disse gælder kun programmeringssprog, der automatisk tjekker for fejl. Statiske metoder kigger simpelthen efter de almindelige tegn på et problem, når programmet fortsætter med at køre. Den anden metode, dynamisk, kontrollerer koden grundigt og ser efter rollen for hvert kodende element i det partikelformede program. Derefter søger det gennem hele programmet for at se, om der er en særlig undtagelse for kodning, der kan være en fejl, og så lader det enten passere eller stopper programmets lancering.