🚀 go-pugleaf

In article <1075@tekchips.TEK.COM>, willc@tekchips.TEK.COM (Will Clinger) writes:
[in contribution to the current debate]
> What I believe is that dynamic scoping is incompatible with any
> reasonable form of static type checking.

> For example, here is a legal DSP program:

>     program legal(modulo, my, imperfect, remembrance, of, Pascal);
> [...]
>     function bar (n: integer): integer;
>       begin
>         bar := 49 * x
>       end;

From Doug Moen's article ("Article-I.D.: watcgl.624"), in which he
defines DSP:

> Here are the rules for "Dynamically Scoped Pascal":
[...]
> Every variable mentioned in the body of a function must be a formal
> parameter, a local variable, or a variable declared in an "imports"
> clause, which is inherited from the calling environment.

....but inside bar, x isn't a formal parameter, it isn't a local
variable, and it doesn't appear in an imports clause, so bar isn't
allowed to use x.

					der Mouse

USA: {ihnp4,decvax,akgua,utzoo,etc}!utcsri!musocs!mcgill-vision!mouse
     think!mosart!mcgill-vision!mouse
Europe: mcvax!decvax!utcsri!musocs!mcgill-vision!mouse
ARPAnet: think!mosart!mcgill-vision!mouse@harvard.harvard.edu