statically-typed

形容词adjective

1. 1(programming) Having, or relating to, a type system that checks the variable types at compile time.