Strong Typing
Typing: the degree to which the meaning of information is restricted in advance of its use.
Von Neumann machines are fundamentally typeless:
- Any word can hold any kind of value.
- Meaning is determined by usage.
System programming languages are strongly typed:
- Variables must be declared with types.
- Data and code are segregated; can’t create new code on the fly.
- Records have declared structure.
- Procedure arguments must have particular types.