[Types-sig] type declaration syntax

Paul Prescod paul@prescod.net
Sat, 18 Dec 1999 14:31:13 -0600

Greg Stein wrote:
> ...
> Nobody has ever suggested writing the bugger in C. My assumption is that
> it will be written in Python. A second assumption is that it will always
> remain as a lint-like tool rather than integrated into the core compiler.

That is not my assumption. If a function creator asks for the function
to be type checked, it should be type checked every time it is
recompiled unless some option has turned type-checking off.

The difference between type signatures and lint is that lint is guessing
about things that are, strictly speaking, correct, but questionable.
Type check declarations are either right or wrong and if they are wrong,
the programmer should be told.

 Paul Prescod  - ISOGEN Consulting Engineer speaking for himself
Three things see no end: A loop with exit code done wrong
A semaphore untested, and the change that comes along