Argument typechecking vs. PRINTF et al

[alan at allegra.UUCP]

	My only suggestion would be that ... this need not and should
	not be done by the compiler ...


I think you missed an important point.  The compiler, armed with this
information, would be able to coerce arguments to the correct type.
This would make it possible to say

	f(1);

without knowing or caring whether f is expecting an int, a short, or
a long.  In this way, the programmer would be relieved of a tedious
responsibility, and a potential source of errors.


	Alan Driscoll
	Bell Labs, Murray Hill