<div dir="ltr"><div style="font-family:monospace" class="gmail_default">That's really cool! It would probably be nice to put that into the JEP, as it would highlight another avenue of utility, specifically for people working on the JDK.</div><div style="font-family:monospace" class="gmail_default"></div><div dir="ltr"><div class="gmail_default" style="font-family:monospace"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jul 27, 2023 at 1:50 PM Brian Goetz <<a href="mailto:brian.goetz@oracle.com">brian.goetz@oracle.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div>
<font size="4"><font face="monospace">One thing that may not be
obvious about this work is that what it effectively does is
provide a supported, public, specified means to expose the
functionality that is now restricted to internal JDK use via
`@Stable`. (So computed constants is-to @Stable as VarHandles
are to Unsafe::{get,put}Xxx.)</font></font><br>
<br>
<div>On 7/27/2023 11:52 AM, Per-Ake Minborg
wrote:<br>
</div>
<blockquote type="cite">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<span style="font-size:12pt;margin:0px;background-color:rgb(255,255,255)"><span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)">Hi
all,</span></span></div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<div style="font-size:12pt;margin:0px;background-color:rgb(255,255,255)">
<br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> Maurizio and I have drafted a JEP for
computed constants, which are</span><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> immutable value holders that are
initialized at most once. They offer</span><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> the performance and safety benefits
of final fields while offering</span><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> greater flexibility as to the timing
of initialization. In the</span><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> context of Leyden, they could be one
basis for shifting computation</span><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> both forward and backward in time.</span><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
</div>
<div style="font-size:12pt;margin:0px;background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> The draft is here:<span style="margin:0px"> </span></span><a href="https://openjdk.org/jeps/8312611" rel="noopener noreferrer" style="font-size:14.6667px;margin:0px;background-color:rgb(255,255,255)" target="_blank">https://openjdk.org/jeps/8312611</a><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
</div>
<div style="font-size:12pt;margin:0px;background-color:rgb(255,255,255)">
<br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> Now that the Leyden repo is open,
I’ll publish the prototype code to a</span><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> new branch there shortly.</span><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
</div>
<div style="font-size:12pt;margin:0px;background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> Comments are welcome!</span><br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
</div>
<div style="font-size:12pt;margin:0px;background-color:rgb(255,255,255)">
<br style="font-size:14.6667px;color:rgb(36,36,36);background-color:rgb(255,255,255)">
<span style="font-size:14.6667px;margin:0px;display:inline;color:rgb(36,36,36);background-color:rgb(255,255,255)"> Best, Per</span></div>
<br>
</div>
</blockquote>
<br>
</div>
</blockquote></div></div>