declaration of variables?

[jcm]

Laura Creighton <lac at strakt.com> 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?

> puzzled,
> Laura

In can be useful in block-structured languages, where a simple
assignment rebinds the variable defined in the nearest enclosing
scope.