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...) Larry
