"no variable or argument declarations are necessary."

[Paul Rubin]

Brian Quinlan <brian at sweetapp.com> writes:
> Without a clear idea of the nature of the proposal, it is impossible
> to assess it's costs and benefits. So could a proponent of optional
> declarations please provide a more clear proposal?

There is no proposal on the table.  There's a discussion of how this
stuff can work, and whether it's useful.  As for how the compiler
deals with imported modules, see for example Common Lisp or Haskell or
ML--how do they do it?