# [+] first: second thoughts

## stevan apter — 2003-07-08 23:26:10

    i'm aware of three proposals:

    1. leaves + on the stack (joy)

    2. leaves [+] or '+ or .. on the stack

    3. evaluate the stack until no change (ck, naked = 1)

    1 is joy

    3 can leave + or [x +] on the stack if it's short.

    2 breaks some fundamental identities, to wit:

        x = x dup [first] dip rest cons

        x = newstack x unstack stack

    e.g.

        [+ -] dup [first] dip rest cons

     ['+ -]

    also n.b.:

        newstack [+ -] unstack stack

     ['+ '-]

## stevan apter — 2003-07-08 23:26:10

    i'm aware of three proposals:

    1. leaves + on the stack (joy)

    2. leaves [+] or '+ or .. on the stack

    3. evaluate the stack until no change (ck, naked = 1)

    1 is joy

    3 can leave + or [x +] on the stack if it's short.

    2 breaks some fundamental identities, to wit:

        x = x dup [first] dip rest cons

        x = newstack x unstack stack

    e.g.

        [+ -] dup [first] dip rest cons

     ['+ -]

    also n.b.:

        newstack [+ -] unstack stack

     ['+ '-]

## stevan apter — 2003-07-08 23:26:10

    i'm aware of three proposals:

    1. leaves + on the stack (joy)

    2. leaves [+] or '+ or .. on the stack

    3. evaluate the stack until no change (ck, naked = 1)

    1 is joy

    3 can leave + or [x +] on the stack if it's short.

    2 breaks some fundamental identities, to wit:

        x = x dup [first] dip rest cons

        x = newstack x unstack stack

    e.g.

        [+ -] dup [first] dip rest cons

     ['+ -]

    also n.b.:

        newstack [+ -] unstack stack

     ['+ '-]