typechecking
Compile-time type validation
Typechecking is the process of verifying that data types in a program are used consistently and correctly.
A typechecker ensures that operations receive compatible inputs—that you don't try to add a string to a number, for instance.
Languages may typecheck at compile time (static typechecking) or during execution (dynamic typechecking).
The build failed because typechecking caught a mismatch.
Conclusion reached through reasoning
- annotationAdded explanatory comment
- assertionConfident statement of fact
- castingShaping through liquid form
- conversionAct of changing states
coercion · declaration · validation · generic · polymorphism · instantiation · unification · narrowing
Not clearly delineated
- nullAbsence indicator in code
- runtime errorFault during program execution
- warningAlert about danger
- strictRigorous, without flexibility
Without motion or change
- dynamicActive and changing
- gradualDeveloping slowly over time
- structuralRelating to building framework
- nominalIn designation only
soundness · strong · weak · bidirectional · covariance
inference
Conclusion reached through reasoning
- annotationAdded explanatory comment
- assertionConfident statement of fact
- castingShaping through liquid form
conversion · coercion · declaration · validation · generic · polymorphism · instantiation · unification · narrowing · discrimination
undefined
Not clearly delineated
- nullAbsence indicator in code
- runtime errorFault during program execution
- warningAlert about danger
strict · annotation · narrowing · widening
static
Without motion or change
- dynamicActive and changing
- gradualDeveloping slowly over time
- structuralRelating to building framework
nominal · soundness · strong · weak · bidirectional · covariance
TypeScript
Typed JavaScript superset