"Some languages, such as Modula-2, are strongly typed, meaning that the" . . . .