What is an accurate way to describe a statically typed language?

It uses methods that that produce consistent output based upon the arguments passed to those methods.

It includes custom variable types with methods, information hiding, data abstraction, encapsulation, polymorphism, and inheritance.

It is based on the concept of modularization and calling procedures or subroutines.

It requires a large number of variables and variable conversions because of the need to commit to a variable type throughout the life of the program.