statically typed language

  1. REDIRECT Type system