Re: [stack] Why is point-free form so interesting?
"William Tanksley, Jr" <[email protected]>
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <[email protected]> |
Christopher Diggins <[email protected]> wrote: > What I was trying to say is that composition is always left-right, but > that subterms could be evaluated separately and in any order. IOW: > t = a b c d > == ((a b) (c d)) > == ((a b) c) d) Yes, you're right. The missing definition is what a "subterm" is. Unlike most languages, a subterm is not a grammatical concept; it's defined semantically, based on which (grammatically) adjacent words depend on each other. > - Christopher -Billy