"Programmers find it useful to add information about the types of the arguments" . . . .