Re: [stack] initial stab at a wikipedia entry

John Nowak <[email protected]> wrote:
> I'm not sure if you think my explanation above rules out locals.

No, you're right.

> If
> not, perhaps it would be beneficial to include "factorability" as part
> of the definition of concatenative languages, e.g. 'f g h == f i where
> i == g h'. I was hoping to get away without having to explicitly
> mention this (and hence doubling the length of the definition).

No, it should be one of the consequences of the definition, not part
of it. Factorability is a consequence of having the syntax and
semantics both being associative in the same way.

>> I'm also thinking about expanding the point about monoids a bit. We
>> have a little to be said on that issue that can't be said on the page
>> about monoids.

> You're right. My only problem is trying to find something to cite in
> the logs. I'll come up with something most likely...

Good luck. Manfred's writings on "The Mathematics of Joy" seems like
the only choice, at this point.

Oh, you might want to cite Kerby's paper somewhere in there. Want me to do that?

> - John

-Wm