Re: [stack] Re: Concatenative Research

Justin scripsit:

> The code/data duality isn't being sacrificed on the altar of static
> typing; it's being sacrificed in the name of algebraic reasoning about
> programs. The ability to reason about how your code behaves comes not
> from what your language can do, but from what it can't. That being
> said, why not have both lists and quotations, and allow lists to be
> converted into quotations?

For one thing, every datum in Joy is also code; 3 is the integer 3, but
also the function that accepts an arbitrary list and returns a list
extended with a new element that is the integer 3.

-- 
But you, Wormtongue, you have done what you could for your true master.  Some
reward you have earned at least.  Yet Saruman is apt to overlook his bargains.
I should advise you to go quickly and remind him, lest he forget your faithful
service.  --Gandalf             John Cowan <[email protected]>