type-checking
Verifying variable types
Type-checking is the process of verifying that values in a program match their expected data types—ensuring a function expecting a number doesn't receive text, for instance.
Languages differ in when this happens: static type-checking occurs before the program runs, while dynamic type-checking happens during execution.
The compiler caught the bug during type-checking.
Source-to-machine-code translator
- interpreterOne who conveys meaning between languages
- linterSource code inspection tool
- flowUnbroken forward movement
- IDEUnified coding software suite
Without motion or change
- dynamicActive and changing
- compile-timeWhen source becomes executable
- runtimeProgram execution duration
- nominalIn designation only
structural · generics · polymorphism · soundness · completeness
compiler
Source-to-machine-code translator
- interpreterOne who conveys meaning between languages
- linterSource code inspection tool
- flowUnbroken forward movement
IDE · autocomplete · diagnostics · squiggles
static
Without motion or change
- dynamicActive and changing
- compile-timeWhen source becomes executable
- runtimeProgram execution duration
nominal · structural · generics · polymorphism · soundness · completeness
type-checkingexecution
Completing a planned task
runtime · running · interpretation · evaluation · computation
type, check, checking, types, typed, typing, typist, typical, typically