[JSR308] Can we agree on our goals?
C. Scott Ananian
cscott at cscott.net
Thu Feb 1 17:43:22 EST 2007
This conflates two different proposals, but...
Neal (et al)'s closure proposal offers the possibility of abstracting
control structures from the language to some degree. while/if/etc become
mere calls to (special static) methods taking a closure.
This suggests that one other point on the "limited annotation" spectrum
might be to annotate just method invocations, not statements in general.
The loops that Gary is concerned with might be desugared into method
calls, either by a JML preprocessor or else within javac (in order to
minimize the changes to Sun's compiler).
The idea of this alternative may be nothing but another datum supporting
Doug Lea's observation that piecemeal annotation efforts just yield
further annotation proposals.
( http://cscott.net/ )
More information about the JSR308