Typning
Hvordan et programmeringssprog håndterer værdityper og passende operationer.
Hvad er typning?
Typning regulerer værdityper og passende operationer. Statisk typekontrol kan finde uforeneligheder før programkørsel; dynamisk typning håndterer typer under kørsel. Typeoplysninger kan være udtrykkelige eller udledes af et værktøj. Et typet sprog er ikke automatisk frit for fejl i forretningslogikken.
I en opdigtet portal skal quantity behandles som number. En passende statisk kontrol kan advare om tildeling af tekst. Taltypen siger ikke alene, om mængden er positiv, et heltal eller gyldig for den valgte enhed. En TypeScript-typeangivelse validerer heller ikke automatisk eksterne grænsefladedata under kørsel. Input og forretningsregler kræver egne kontroller.
Kilder
Relaterede begreber
- Statisk kodeanalyseAt undersøge kode eller dens repræsentation uden at udføre det faglige applikationsforløb for kontrollen.
- CompilerEt program, der oversætter kildekode til en anden målrepræsentation.
- DatavalideringDatavalidering kontrollerer data mod fastlagte krav, eksempelvis format, obligatoriske felter eller tilladte værdier.
- LegacysystemEt eksisterende system i fortsat brug med tekniske og forretningsmæssige afhængigheder opbygget over tid.
- MultitenancyMultitenancy understøtter adskilte kunde- eller gruppeområder i samme løsning. En tenant er ikke automatisk én person eller én database.
- BrowsercacheBrowsercachen gemmer egnede HTTP-svar til senere brug. Genbrug og ny validering følger de relevante regler.
Artikler om emnet
Softwareudvikling med ASES
Skræddersyet software, web- og mobilapps