On Fri, Apr 23, 2004 at 11:47:28AM -0700, Jeff Clites wrote: : That's my worry--whether we have a problem. (No problem with typed : values, of course.) If variables are typed, _and_ that typing is : lexically scoped, then I think that we don't have a problem, and it can : be handled at the compilation level, by inserting the appropriate type : checks right before each assignment.
Well, at minimum, the typing of lexically scoped variables is lexically scoped.
I'd say the typing of "our" variables should work the same. Maybe we could throw in a check to make sure different lexical scopes don't apply different types. (Or maybe that's just a feature...)
It also depends on whether the type is on the name or the container. Which is your call. :-P (Though, given my druthers, I'd leave it on the container)
--
Dan
--------------------------------------"it's like this"-------------------
Dan Sugalski even samurai
[EMAIL PROTECTED] have teddy bears and even
teddy bears get drunk
