=== I HAVE SORT OF A PLAN-OF-ATTACK === echo [For how to deal with the explosion of WORD!s that would result if you start sanctioning people doing things like this...]
TO RECAP: the user context proactively creates variables for every word that you even so much as mention. The idea is that it doesn't know if that word will come into existence later, and it wants to be able to facilitate things like:
foo: func  [bar] ; doesn't leave unbound, in case definition comes later bar: func  [print "Hello"] ; hooks up to previously existing bar variable foo ; prints hello
We've seen that there are several downsides to this strategy:
Even without pathological cases like sentences-of-word-using === and echo, the user context swells to a very large size. You get definitions for function arguments that were never intended to have a global variable for them, every LET variable gets a user context binding it doesn't use, etc.
You have no way of knowing when a variable isn't valid or intended. Any stray assignment or misspelling writes into the global space:
foo: func [argument] [ argment: default  print ["You just defaulted the wrong" argument] ]
The aggressive creation of variables that are local copies of everything from the lib context means that you won't see changes if the lib definition changes.
>> foo: func  [newfangled "Hello"] >> append lib compose [newfangled (:print)] >> foo ** Script Error: newfangled is ~unset~
Proposal: "Attachment" => Binding Without Creating a Variable
What if there were a way to say that WORD!s could be attached to a context, but not actually have memory for a variable behind that reference?
If a new variable came into existence, those references would see it. But those references themselves would not create the variables...at least not without some extra effort.
>> foo: func  [y: 10] >> foo ** Error: y is attached to a context, but no definition exists for it
Going with the current way for making variables appear in contexts:
>> foo: func  [y: 10] >> append system/contexts/user [y: _] >> foo == 10 >> y == 10
But we could imagine there being some new LET-like construct which would enforce the existence of the variable. It would peek ahead at the word, and then force a variable if there wasn't one already, then vanish. Let's call it EMERGE for now.
This addresses the issue of references that exist "back in time":
>> bar: func  [y: 20] ; Y scanned and bound before the emerge ; (so calling bar right now would error) >> foo: func  [emerge y: 10] >> foo == 10 >> y == 10 >> bar ; was allowed to assign and overwrite == 20
I've started a small hacked-together proof-of-concept. It seems to have potential, but there are a lot of questions...
When Are SET-WORD!s Implicitly Gathered?
Right now, modules use the tactic of only considering top-level SET-WORD!s to be gathered.
But what if something isn't a module? What if it's a string of code, like:
>> do "x: 10, print [x]"
Had you written that as a BLOCK!, it wouldn't work...
>> do [x: 10, print [x]]
...because in that case, the actual loading process the console ran was for the string "do [x: 10, print [x]]", and that doesn't have a top-level SET-WORD!.
My feeling is that top-level SET-WORD!s being "emerge'd" implicitly is that should be a choice for a module, but not a basic behavior of DO or TRANSCODE.
How Do Top-Level SET-WORD!s mix With SET-BLOCK!, anyway?
Not all contents of SET-BLOCK!s are words being assigned, e.g.
[x (first word-list)]: some-func ...
So we don't want declarations for FIRST and WORD-LIST, since they're only finding the name of the word to be evaluated...and if they were bound as new variables by a "scan for SET-XXX" process they would not work for their intended purpose, since they'd lose their binding to the FIRST function and the WORD-LIST variable in the process.
Additionally, not all SET-BLOCK!s at the top level necessarily mean assignment. They can be used for dialected purposes. That's true of SET-WORD!s too...even at the top level.
How Do You Mix EMERGE with LET?
There was a problem with LET wanting to do multi-returns, e.g. where one variable needs a new definition but another one already exists. That is being resolved with quoting, you add a tick to say you want to pass-thru the definition of a variable:
let [new-variable 'reused-variable]: some-func ..
(This same concept of quote use is being applied to say not to create a new loop variable for things like FOR-EACH, e.g.
for-each 'reuse [1 2 3] [...])
But now we have the same problem with EMERGE. I guess you could put it in a GROUP! and then say to reuse the emerged product, like:
let [new-variable '(emerge global-variable)]: ...
What Does BIND Mean When You Bind to Everything?
It's generally the case that BIND BLOCK LIB or BIND BLOCK USER is something only done at the beginning of constructing code from raw material. Most people expect LOAD to do this for them.
If these kinds of contexts consider themselves candidates for all words, they'd never not-bind.
It may be that this category of context (synonymous with MODULE! ?) is something you have to subset into a collection of words before using in binding operations...and if you bind without that subsetting then you just reset everything in the material you're working with.
Despite The Questions, This Is Probably What's Needed
The small demo I have working makes me reasonably optimistic that this is the right direction. I'll keep looking at it.