Static typing#Static typing

1. REDIRECT Type system#Static type checking

{{Redirect category shell|1=

{{R to section}}

}}