Statically Typed Languages

statically typed language, which means that it must know the types of all variables at compile time