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

On Mar 3, 2009, at 5:49 PM, Robbert Dalen wrote:

>> In Joy, neither holds. A function like 'rand' is going to return
>> different values given the same input. The only way to prevent this  
>> is
>> to pass a world value through the program and have 'rand' require
>> exclusive access to that world value in order to determine its  
>> output.
>> The only way to do this sensibly (i.e. in a way that would permit
>> arbitrary order reduction) is with a type system.
>>
> but rand is not pure.
> i'm talking about joy with only pure functions.

I thought we were talking about "Joy". Of course I agree that Joy is  
pure if you take out all the impure functions. The trouble is that  
you're left with a language that's useless.

- John