Updated State of the Lambda

[John Rose]

I just read http://cr.openjdk.java.net/~briangoetz/lambda/lambda-state-3.html .

Congratulations.  It's looking good.  The half-dozen little abbreviation rules feel comfy.

Thanks for keeping 'this' at arm's length.  (I'll learn to live with 'return' co-opted, though I admire how beautifully Python dodged that bullet.)

-- John

P.S.  Regarding DA rules, I wonder if this:

  final SAM1 x = #{ ...x... };

could generalize without much straining to this:

  final SAM1 x;
  x = #{ ...x... };

and then, most usefully, to this:

  final SAM1 x;
  final SAM2 y;
  x = #{ ...x...y... };
  y = #{ ...y...x...y... };

If so, there is a simple notation for local multi-variable recursion.  (And with an invisible 'letrec' keyword.)