Hva er sterk typing?

Sterk typing er et typesystem som brukes med programmeringsspråk og tvinger programmereren til å oppgi kode på en spesifikk måte som diktert av typesystemet og språkets standarder. Styrken ved sterk skriving kan variere, men de fleste typesystemer bruker begrensninger med høy styrke. Dette er i stand til å stoppe de fleste eller alle ugyldige oppføringer, noe som kan bidra til å forhindre kodingsfeil. Noen programmeringsspråk lar programmerere bruke forskjellige tall, men dette skrivesystemet begrenser konverteringer. Konsistens påtvinges brukeren, noe som kan være fordelaktig, men dette typesystemet kan også fjerne kreativiteten.

Når noen bruker et sett eller et programmeringsspråk som har sterk skriving, kan dette skrivesystemet settes opp med et høyt eller lavt nivå av styrke. Høy styrke betyr at skrivesystemet pålegger brukeren sterke begrensninger, mens lav styrke er litt mildere med feil og inkonsekvent kode. Selv om lav styrke brukes i noen systemer, er høy styrke mye vanligere, fordi fordelene med dette typesystemet er best opprettholdt med høy styrke.

Programmerere kan lage ugyldige oppføringer når de oppretter et program, enten som en feil eller med vilje for å prøve ut ny koding. Med et svakt typesystem vil disse feilene gå gjennom kompilatoren, noe som kan føre til alvorlige feil. Når sterk skriving brukes, vil disse feilene bli bragt til programmererens oppmerksomhet. Systemet vil ofte avvise kompilering av programmeringen til kodingen er løst, og sikrer at feilene er minimale.

Heltall blir ofte brukt med programmering, og et programmeringsspråk lar noen ganger brukere legge inn heltall som ikke er i samsvar med språket. Hvis språket har et konverteringsverktøy, vil dette samtidig konvertere heltalene slik at de kan brukes. Sterk skriving deaktiverer denne praksisen og nekter å godta ikke-standard-heltall.

Måten sterk skriving styrer brukerens implementering av et programmeringsspråk betyr at det er mange fordeler og ulemper. Dette tillater ikke feil eller ikke-standardkoding, så dette skrivesystemet sikrer at kodingen er konsekvent. Det sikrer vanligvis også at kodingen vil fungere når den er satt sammen. Den største ulempen er at kreativiteten er sterkt begrenset. Hvis brukeren prøver å skrive koding på en måte som er i strid med standardene, selv om koden i seg selv vil fungere og kan være bedre enn standardkoding, vil fortsatt sterk skriving deaktivere kodingen til brukeren standardiserer den.