Re: [stack] Is this language concatenative?
"William Tanksley, Jr" <[email protected]>
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <[email protected]> |
Michael Nedzelsky <[email protected]> wrote: > The language L \subset T* is concatenative if and only if it satisfies the > following requirements: Nice. Actually, I would point out that this is a definition for flat concatenative languages; a concatenative language may not be factorable in the manner you're describing. I also need to point out that this describes only the syntax, whereas the traditional usage also contrains the semantics. > It seems to me that the Cat and Joy are both strict left and right > concatenative languages according to this defintion. Quotations make it impossible to textually factor a program into primitives, don't they? > Michael Nedzelsky -Billy