Re: [stack] disallowing recursive definitions

On Mar 11, 2008, at 19:19 , Manfred Von Thun wrote:

> On 4/3/08 12:38 PM, "Don Groves" <[email protected]> wrote:
>>
>> A few months back, I finally caught on to this: by their nature,
>> concatenative languages enforce computation by continuation
>> passing. Would it be true to say there is no other way?
>> --
>> don
>>
> But continuation passing surely means something rather complex.
> Cancatenative languages interpret concatenations of atomic
> programs by starting at the beginning until they reach the
> end. For each atom something is changed. That is pretty much
> the same for all assembly languages, byte code interpreters etc.
> (True at least while not intercepted by a jump or goto).
>
> But as remember, continuation passing means giving
> a procedure an additional parameter which represents the
> rest of the program, and which will normally be executed
> before the procedure returns. Landin’s papers from the 60’s
> (and at least one much later) are good on this. Look for
> “History of continuations” or similar.
>
>   - Manfred

Hello, Manfred --

Your description above is the usual implementation of
continuation passing but concatenative languages seem
to me to embody that implementation implicitly. A simple
Joy example:

3 [dup *] i ==> 3 3 [*] i ==> 9

I interpret this as 3 3 [*] is the continuation of the dup
operation being passed to i which is executed before i
returns.
--
don



> [Non-text portions of this message have been removed]
>
>
>
>
> Yahoo! Groups Links
>
>
>
>



 
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/