declaration of variables?

[Carl Banks]

Laura Creighton wrote:
> Am I understanding you correctly?  You don't want to bind a variable
> to a specific type, and you want to be able to rebind a variable at
> will to any other type, but you want a language change so that the
> first time you bind a variable, you have to type something extra
> indicating 'yes I know this is the first time I have used this
> variable?'  If so, what does this buy you aside from catching typos?

Yeah, that's it.  Catching typos is really what he wants declarations
for.


-- 
CARL BANKS