Re: [stack] are concatenative languages applicative?

On Apr 24, 2008, at 11:56 PM, John Cowan wrote:

> But where we differ, or did differ, is about '[1 2 3]', which I say  
> has a
> function type of 'A -> A [Num Num Num]', not 'A -> [A -> A Num Num  
> Num]]'.
> And that is because Joy lists are not inherently quotations, though  
> they
> are treated as quotations by certain functions.

Well, to be clear, I said A -> A [B -> B Num Num Num]. Either way, I  
should've said that I don't give a damn about Joy, but rather  
concatenative languages in general. I think I've answered my own  
question anyway: No, they're not applicative.

- John