Typing
Hvordan et programmeringsspråk håndterer verdityper og passende operasjoner.
Hva er typing?
Typing regulerer verdityper og passende operasjoner. Statisk typekontroll kan finne uforenligheter før kjøring; dynamisk typing håndterer typer under kjøring. Typeinformasjon kan være eksplisitt eller utledes av et verktøy. Et typet språk er ikke automatisk fritt for feil i forretningslogikken.
I en oppdiktet portal skal quantity behandles som number. En passende statisk kontroll kan varsle om tilordning av tekst. Talltypen sier ikke alene om mengden er positiv, et heltall eller gyldig for valgt enhet. En TypeScript-typeangivelse validerer heller ikke automatisk eksterne grensesnittdata under kjøring. Inndata og forretningsregler krever egne kontroller.
Kilder
Beslektede begreper
- Statisk kodeanalyseÅ undersøke kode eller en representasjon av den uten å kjøre applikasjonens forretningslogikk.
- KompilatorEt program som oversetter kildekode til en annen målrepresentasjon.
- DatavalideringDatavalidering kontrollerer data mot fastsatte krav, eksempelvis format, obligatoriske felt eller tillatte verdier.
- LegacysystemEt eksisterende system som fortsatt brukes, med tekniske og forretningsmessige avhengigheter bygget opp over tid.
- MultitenancyMultitenancy støtter adskilte kunde- eller gruppeområder i samme løsning. En tenant er ikke automatisk én person eller én database.
- NettlesercacheNettlesercachen lagrer egnede HTTP-svar for senere bruk. Gjenbruk og ny validering følger de aktuelle reglene.
Artikler om temaet
Programvareutvikling med ASES
Skreddersydd programvare, web- og mobilapper