Re: [stack] function/object ambiguity + quotation alternative

On Feb 26, 2009, at 10:47 AM, John Nowak wrote:

> This is the problem I'm referring to.

Maybe this is an even simpler way of stating the problem in Joy and  
Factor, where '->' means "evaluates to":

    1. [X] first    ->  X    (given)
    2. [dup] first  ->  dup  (valid, following from 1)
    3. [dup] first  !=  dup  (given, in contradiction to 2)

The problem is that the 'dup' on the right side of 2 is a function  
reified as an object, but the 'dup' on the right side of 3 is a  
function. 'dup' "the function" is not the same as 'dup' "the function  
object", yet they are represented by the same term. This causes  
problems with algebraic manipulation of programs as plainly seen  
above. My solution is to get rid of this ambiguity.

- John