[Types-sig] Type checks

[Paul Prescod]

skaller wrote:
> 
>         I think you have to think very carefully about what
> constitues an error here: see my posts about errors in python.
> It is not acceptable to specify that an exception be thrown.
> That would NOT permit an optimiser to elide checks, except
> when it could prove they were not needed.

If people use the static type check system extensively then it would
OFTEN be able to elide the checks. If you use type declarations as
aggressively (say) as you would in Java then you should get exactly as
many type checks. So I am leaning toward throwing an exception.

 Paul Prescod