Re: [stack] Parameters: ordered versus named

> Just before falling asleep last night, it hit me what has caused my
> confusion
> about all this: I've been thinking of the interactive user, not
> running an already
> compiled program. Of course, when a program has been fed through the
> interpreter without errors, stack- and type checking is no longer
> necessary.
> Thanks for you help!

An interpreter can still be statically typed. Each expression fed into
the interpreter can be type-checked before it is run, and compared
with the current stack configuration. AFAIK this is a property
particular to languages with compositional type systems (e.g.
statically typed concatenative languages!)

-D