Static types

Redirect to:

• Type system#Static typing