2011-10-31

double-equal to mean prolonged equality

10.12: adda/lexicon/==:
. the == could be like the japanese way of
2-trees representing many trees: a forest .
. 2 equals would say the values are
equal for many moments,
ie, they are pointers to the same obj; [10.13:
or they are part of a notify&update pattern .
it could also be used as a special form of
assignment stmt:
whatever you're getting access to,
you have some way of maintaining synchronization,
as would occur if using aliases .]

1 comment:

  1. 1.26: adda/syntax/[/=]vs[=/=]:
    . =/= is more like what the actual math icon looks like,
    whereas a/=b can be confused with (a/)= b .
    [8.1:
    . but this is moot because the unequal syntax
    should be consistent with the not-true operator: ~;
    so then use ~= .
    . finally, this is not an important detail
    if we let the user choose the symbols;
    notice when you do allow user-chosen symbols,
    that it's a non-trivial problem
    helping them with ambiguities .]

    ReplyDelete