JEP 303 and ConstantDynamic
john.r.rose at oracle.com
Fri Aug 4 02:14:18 UTC 2017
On Aug 3, 2017, at 5:57 AM, Hontvári Attila <attila at hontvari.net> wrote:
> 1. The user should be able to mark an expression with some keyword like
See the similar proposal by Remi Forax; he spells it "Mjolnir.get(L -> expr)"
instead of the more sugary "__CONDY expr":
> But as I understand this, the data of the instances of the intrinsic types don't have to be known at compile-time; they only have to be known and constant at run-time.
That's not true. We need to be able to fold true constant expressions into
bootstrap method arguments and similar class file structures. The __CONDY
tactic (like Mjolnir) can make useful approximations, but is not the real thing.
(Remi uses bytecode transforms to approximate the real thing more closely.)
More information about the valhalla-dev