[Types-sig] Compile-time or runtime checks?

[Paul Prescod]

Martijn Faassen wrote:
> 
> On a slightly seperate issue, I propose a classification of modules
> according to type annotation (or functions or classes, whatever level
> you prefer thinking about):

I'm trying hard to separate the axes of: "I have some type declarations"
and "I want a static type checker to gurantee that this code is totally
type safe." This should be legal:

StringType
def foo():
	a=eval( sys.argv[1] )
	return a

That means I want a runtime check. This should be illegal:

type-safe
StringType
def foo():
	a=eval( sys.argv[1] )
	return a

Here I've specifically asked for a compile time check and my code is not
up to snuff.

-- 
 Paul Prescod  - ISOGEN Consulting Engineer speaking for himself
Three things to be wary of: A new kid in his prime
A man who knows the answers, and code that runs first time
http://www.geezjan.org/humor/computers/threes.html