Type-Checking Parameters:
FORTRAN 77 no type checking
PASCAL, Modula-2, FORTRAN 90, Ada
all type checking. match type between formal & actual.
C early (no type checking)
ANSI C
(user chooses)
C++ type checks, but can be avoid it. (See page 367)