Re: [stack] Concatenative versus Compositionality

On Dec 3, 2007, at 1:52 PM, John Cowan wrote:

> Christopher Diggins scripsit:
>
>> No it is not true in the general case. But does the general case hold
>> for Forth or Postscript? Does it also hold for all Joy programs
>> without exception?
>
> Yes, though "programs" must be interpreted strictly.  "1 [ 2" is not a
> Joy program.

There may also be type system restrictions involved. For example, I  
believe this is a valid program in Cat:

foo == [10] dup apply

However, the due to the current lack of equirecursive types, this isn't:

foo == [10] bar
bar == dup apply

Does that mean Cat isn't concatenative (or at least not fully  
concatenative)?

- John