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

>
> > 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?
>
>
"hello world"

or ["hello"] ["world"] | .

the interpreter is a pure function that takes an input expression and  
outputs the (rewritten) normal form of that input expression

also, the interpreter itself is also purely functional.
> > 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.
>
but what if you construct a quotation from a file and then execute it?
this piece of concatenative code cannot be replaced by a word, because  
the file can be different at every invocation.

>
>
> - John
>
> 



------------------------------------

Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/concatenative/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/concatenative/join
    (Yahoo! ID required)

<*> To change settings via email:
    mailto:[email protected] 
    mailto:[email protected]

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/