Re: [stack] Monads in a Stack-Based Language

William Tanksley, Jr scripsit:

> > What I am looking for is an elegant mapping from a stack-based
> > language with global variables to a referentially transparent
> > stack-based language. I believe I have found one, but the theory
> > behind it still eludes me.
> 
> That's good quarry to hunt! Once you stalk it down, you'll also help
> explain how word meanings can be dynamically redefined in the system
> dictionary.

Well, at least we know how to translate linear (use-once) variables
into concatenative notation, thanks to Henry Baker:

http://home.pipeline.com/~hbaker1/ForthStack.html
http://home.pipeline.com/~hbaker1/ForthStack.ps.gz

Linear lambda calculus has its own interest, and it parallelizes
well; if you must have non-linear variables, you know where to find them.

-- 
John Cowan    [email protected]    http://ccil.org/~cowan
   There was an old man                Said with a laugh, "I
     From Peru, whose lim'ricks all      Cut them in half, the pay is
       Look'd like haiku.  He              Much better for two."
                                             --Emmet O'Brien