Contents Introduction Names Variables The Concept of Binding Type Checking Strong Typing Type Equivalence Scope Scope and Lifetime Referencing Environments Named Constants Introduction
If all type bindings are static, nearly all type checking can be static
- Navigate this page:
- Strong Typing