type-checking function arguments

[Philip Lantz]

Why do we want the COMPILER to check argument types?  Lint does it
very well.  It even knows about the library functions, and functions
that take a variable arguments, and functions declared in other files,
and other problems that the compiler would have doing it.  And if
lint tells you you're passing an int to a function that takes a
short, you can cast it, which makes it clear to the next person that
looks at your code that you know what's going on, and intended it.

Philip Lantz
tekmdp!bronze!philipl