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

On Mar 3, 2009, at 4:17 PM, Robbert Dalen wrote:

> enchilada is purely functional *by design*.... without using monads or
> uniqueness types.

I don't believe you! Can you demonstrate how a "hello world" program  
would work?

> you can factor out any valid (sub)expression and replace that with
> a ...word.... (denoting the factored expression). i believe this
> property also holds for joy, if it is stripped from it's file
> manipulation primitives.

This property holds for Joy in all cases; the impure IO doesn't make  
any difference. What you can't do is replace an expression with the  
result of evaluating it, e.g., you can't replace '1 2 print' with '1'.  
This is another reason why I think it is not useful to say Joy is  
referentially transparent.

- John