Typning
Hur ett programmeringsspråk hanterar värdetyper och lämpliga operationer.
Vad är typning?
Typning reglerar värdetyper och lämpliga operationer. Statisk typkontroll kan hitta oförenligheter före körning; dynamisk typning hanterar typer under körning. Typinformation kan vara uttrycklig eller härledas av ett verktyg. Ett typat språk är inte automatiskt fritt från fel i verksamhetslogiken.
I en påhittad portal ska quantity behandlas som number. En lämplig statisk kontroll kan varna för tilldelning av text. Taltypen anger inte ensam om mängden är positiv, ett heltal eller giltig för vald enhet. En TypeScript-typangivelse validerar inte heller automatiskt externa gränssnittsdata under körning. Indata och verksamhetsregler kräver egna kontroller.
Källor
Relaterade begrepp
- Statisk kodanalysAtt granska kod eller dess representation utan att köra applikationen för kontrollen.
- KompilatorEtt program som översätter källkod till en annan målrepresentation.
- DatavalideringDatavalidering kontrollerar data mot fastställda krav, exempelvis format, obligatoriska fält eller tillåtna värden.
- LegacysystemEtt befintligt system som fortfarande används, med tekniska och verksamhetsmässiga beroenden som vuxit fram.
- MultitenancyMultitenancy stöder åtskilda kund- eller gruppområden i samma lösning. En tenant är inte automatiskt en person eller en databas.
- WebbläsarcacheWebbläsarcachen sparar lämpliga HTTP-svar för senare bruk. Återanvändning och ny validering följer tillämpliga regler.
Artiklar om ämnet
Mjukvaruutveckling med ASES
Skräddarsydd programvara, webb- och mobilappar