type-checked
Compiler-analyzed for correctness
Type-checked describes code that has been verified for consistency in how data types are used.
A type-checked program won't accidentally treat a number as text or pass the wrong kind of value to a function.
Languages like TypeScript and Rust are type-checked at compile time; others check types at runtime.
The code type-checked successfully but still had logic errors.
Source-to-machine-code translator
- static-analysisCode review without execution
- correctnessState of being accurate
- validationConfirming truth or accuracy
- compile-timeWhen source becomes executable
runtime · soundness · linting · strictness · enforcement · guarantees
Changeable elements in equations
- functionsWorks or serves purposes
- parametersDefined boundaries or constraints
- genericsUnbranded equivalent products
- interfacesPoints of interaction between systems
classes · methods · signatures · declarations · polymorphism · casting · coercion · overloading
compiler
Source-to-machine-code translator
- static-analysisCode review without execution
- correctnessState of being accurate
- validationConfirming truth or accuracy
compile-time · runtime · soundness · linting · strictness · enforcement · guarantees
variables
Changeable elements in equations
- functionsWorks or serves purposes
- parametersDefined boundaries or constraints
- genericsUnbranded equivalent products
interfaces · classes · methods · signatures · declarations · polymorphism · casting · coercion · overloading · templates
type-checkedunchecked
Not controlled or limited
untyped · typeless · unvalidated · unverified · interpreted
type, check, checked, types, typed, typing, typist, typical, typically