in many programming languages, the programmer must declare a type