Typing in programming
How a programming language handles kinds of values and suitable operations.
What is typing in programming?
Typing governs types of values and the operations suitable for them. Static type checking can detect incompatibilities before execution; dynamic typing handles types at runtime. Type information may be explicit or inferred by a tool. A typed language is not automatically free of business-logic errors.
In a fictional portal, quantity is intended to be handled as a number. An appropriately used static checker can flag a text assignment. A number description alone does not establish whether a quantity is positive, integral or valid for the selected unit. Data from an external interface is not automatically validated at runtime by a TypeScript type annotation either. These inputs and business rules require their own checks.
Sources
Related terms
- Static code analysisExamining code, or a representation of it, without running the application’s workflows to do so.
- CompilerA program that translates source code into another target representation.
- Data validationData validation checks data against defined requirements such as format, required fields or permitted value ranges.
- Legacy systemAn existing system still in use, with technical and business dependencies accumulated over time.
- Multi-tenancyMulti-tenancy supports separate customer or group scopes in one solution. A tenant is not automatically one person or one database.
- Browser cacheThe browser cache stores suitable HTTP responses for later use. Reuse and revalidation follow the applicable rules.
Articles on this topic
Software Development with ASES
Custom software, web and mobile apps