Re: [stack] What does "concatenative" actually mean?

On Fri, Mar 6, 2009 at 6:24 PM, John Nowak <[email protected]> wrote:
> On Mar 6, 2009, at 6:11 PM, Don Groves wrote:
>
>> On Mar 6, 2009, at 12:19 AM, spir wrote:
>
>>
>
>>> [1 2 3] [dup *] map
>>> :square dup *
>>> [1 2 3] [square] map
>>
>> You may get disagreement on this point from others here but
>> not from me. As in Lisp, you can use an anonymous function,
>> like [dup *], or you can name it and refer to it by name and get
>> the identical result. So, yes, I consider [dup *] to be a lambda.
>
> It's not a lambda. Quotation and lambdas have a similar use, but
> they're not the same thing.

In the context of Joy and Cat a quotation and a lambda is equivalent.
They are both abstraction operations over the contained term (i.e.
function that corresponds to that term). When you evaluate an
abstracted function, you get the function. This is basic lambda
calculus.

- Christopher Diggins