[Types-sig] Type checks

[skaller]

Greg Stein wrote:
 
> Python is also very deterministic. "Implementation-defined" really does
> not exist.

	I agree, more or less. There is some indeterminism with
bitwise operators (depends on the underlying C implementation,
which sucks :-)
 
> Errors in Python raise exceptions. That is how it is defined, and that is
> the general style/pattern for the language.

	Not true for assertions.
And type constraints are assertions.

-- 
John Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia
homepage: http://www.maxtal.com.au/~skaller
voice: 61-2-9660-0850