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

Paul Prescod paul@prescod.net
Tue, 14 Dec 1999 12:47:48 -0800

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:

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

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

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