<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
Hi Rémi,<br>
<br>
I share your view that it is important to be able to use ComputedConstant "early" in the VM startup sequence. There is nothing inherent to the proposed API that *requires* a lambda or a method reference to be used. An anonymous or regular class, implementing
Supplier would also do. Also, there is nothing fundamental that prevents us from *implementing* the API in a way it can be used "early".<br>
<br>
We do not add any keywords, the JEP is a pure library approach so, I do not foresee any backward compatibility issues.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
Thanks for your feedback.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
Best, Per</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> forax@univ-mlv.fr <forax@univ-mlv.fr><br>
<b>Sent:</b> Thursday, July 27, 2023 6:36 PM<br>
<b>To:</b> Maurizio Cimadamore <maurizio.cimadamore@oracle.com><br>
<b>Cc:</b> Per-Ake Minborg <per-ake.minborg@oracle.com>; leyden-dev <leyden-dev@openjdk.org>; John Rose <john.r.rose@oracle.com><br>
<b>Subject:</b> [External] : Re: Draft JEP Announcement: "Computed Constants"</font>
<div> </div>
</div>
<div>
<div style="font-family:arial,helvetica,sans-serif; font-size:12pt; color:#000000">
<div><br>
</div>
<div><br>
</div>
<hr id="x_zwchr" data-marker="__DIVIDER__">
<div data-marker="__HEADERS__">
<blockquote style="border-left:2px solid #1010FF; margin-left:5px; padding-left:5px; color:#000; font-weight:normal; font-style:normal; text-decoration:none; font-family:Helvetica,Arial,sans-serif; font-size:12pt">
<b>From: </b>"Maurizio Cimadamore" <maurizio.cimadamore@oracle.com><br>
<b>To: </b>"Remi Forax" <forax@univ-mlv.fr>, "Per-Ake Minborg" <per-ake.minborg@oracle.com><br>
<b>Cc: </b>"leyden-dev" <leyden-dev@openjdk.org>, "John Rose" <john.r.rose@oracle.com><br>
<b>Sent: </b>Thursday, July 27, 2023 6:14:48 PM<br>
<b>Subject: </b>Re: Draft JEP Announcement: "Computed Constants"<br>
</blockquote>
</div>
<div><style style="display:none">
<!--
p
{margin-top:0;
margin-bottom:0}
-->
</style></div>
<div data-marker="__QUOTED_TEXT__">
<blockquote style="border-left:2px solid #1010FF; margin-left:5px; padding-left:5px; color:#000; font-weight:normal; font-style:normal; text-decoration:none; font-family:Helvetica,Arial,sans-serif; font-size:12pt">
<p>Hi Remi<br>
Yes, of course we were aware of that.<br>
<br>
Think of this proposal as an API-driven approach (in the style of ThreadLocal, ClassValue, ScopedValue, ...) which delivers more or less the same feature, but w/o changing the language.</p>
<p><br>
</p>
<p>One thing that's attractive about the API approach is that it is not limited to just static fields, but it can also work for instance fields as well.</p>
<p><br>
</p>
<p>(that said, I agree the two jeps should somehow be related/link to each other)</p>
</blockquote>
<div><br>
</div>
<div>I see two problems with your suggested approach:<br data-mce-bogus="1">
</div>
<div>- this proposal is on top of lambdas, which means that it can be used for applications but not for the VM startup because it can only be used after method handles sub-system have been initialized.</div>
<div>- this is not a backward compatible change, if you add a new keyword to static final fields, you can rewrite any public static final fields to a public lazy static final field,</div>
<div> by example, String.CASE_INSENSITIVE_ORDER which is rarely used but can not be changed with your proposal.</div>
<div><br data-mce-bogus="1">
</div>
<blockquote style="border-left:2px solid #1010FF; margin-left:5px; padding-left:5px; color:#000; font-weight:normal; font-style:normal; text-decoration:none; font-family:Helvetica,Arial,sans-serif; font-size:12pt">
<p><br>
Maurizio</p>
</blockquote>
<div><br>
</div>
<div>Rémi<br data-mce-bogus="1">
</div>
<div><br data-mce-bogus="1">
</div>
<blockquote style="border-left:2px solid #1010FF; margin-left:5px; padding-left:5px; color:#000; font-weight:normal; font-style:normal; text-decoration:none; font-family:Helvetica,Arial,sans-serif; font-size:12pt">
<p></p>
<p><br>
</p>
<div class="x_moz-cite-prefix">On 27/07/2023 17:09, Remi Forax wrote:<br>
</div>
<blockquote>
<div style="font-family:arial,helvetica,sans-serif; font-size:12pt; color:#000000">
<div>Hello,<br>
</div>
<div>Are you aware of the lazy static final fields proposal ?<br>
</div>
<div> <a href="https://bugs.openjdk.org/browse/JDK-8209964" class="x_moz-txt-link-freetext" target="_blank">
https://bugs.openjdk.org/browse/JDK-8209964</a><br>
</div>
<div><br>
</div>
<div>In think both proposals should be merged.<br>
</div>
<div><br>
</div>
<div>Rémi<br>
</div>
<div><br>
</div>
<hr id="x_zwchr">
<div>
<blockquote style="border-left:2px solid
#1010FF; margin-left:5px; padding-left:5px; color:#000; font-weight:normal; font-style:normal; text-decoration:none; font-family:Helvetica,Arial,sans-serif; font-size:12pt">
<b>From: </b>"Per-Ake Minborg" <a class="x_moz-txt-link-rfc2396E" href="mailto:per-ake.minborg@oracle.com" target="_blank">
<per-ake.minborg@oracle.com></a><br>
<b>To: </b>"leyden-dev" <a class="x_moz-txt-link-rfc2396E" href="mailto:leyden-dev@openjdk.org" target="_blank">
<leyden-dev@openjdk.org></a><br>
<b>Sent: </b>Thursday, July 27, 2023 5:52:46 PM<br>
<b>Subject: </b>Draft JEP Announcement: "Computed Constants"<br>
</blockquote>
</div>
<div></div>
<div>
<blockquote style="border-left:2px solid
#1010FF; margin-left:5px; padding-left:5px; color:#000; font-weight:normal; font-style:normal; text-decoration:none; font-family:Helvetica,Arial,sans-serif; font-size:12pt">
<div class="x_elementToProof" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<span class="x_x_elementToProof" style="font-size:12pt; margin:0px; background-color:rgb(255,255,255)"><span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)">Hi
all,</span></span></div>
<div class="x_elementToProof" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<div class="x_x_elementToProof" style="font-size:12pt; margin:0px; background-color:rgb(255,255,255)">
<br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; 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 class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)"> immutable value holders that are initialized at most once. They offer</span><br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)"> the performance and safety benefits of final fields while offering</span><br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)"> greater flexibility as to the timing of initialization. In the</span><br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)"> context of Leyden, they could be one basis for shifting computation</span><br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)"> both forward and backward in time.</span><br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
</div>
<div class="x_x_elementToProof" style="font-size:12pt; margin:0px; background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)"> The draft is here:</span><a href="https://openjdk.org/jeps/8312611" target="_blank" rel="noopener noreferrer" class="x_x_ContentPasted0 x_ContentPasted0 x_moz-txt-link-freetext" style="font-size:14.6667px; margin:0px; background-color:rgb(255,255,255)">https://openjdk.org/jeps/8312611</a><br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
</div>
<div class="x_x_elementToProof" style="font-size:12pt; margin:0px; background-color:rgb(255,255,255)">
<br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; 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 class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)"> new branch there shortly.</span><br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
</div>
<div class="x_x_elementToProof" style="font-size:12pt; margin:0px; background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)"> Comments are welcome!</span><br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
</div>
<div class="x_x_elementToProof" style="font-size:12pt; margin:0px; background-color:rgb(255,255,255)">
<br class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; color:rgb(36,36,36); background-color:rgb(255,255,255)">
<span class="x_x_ContentPasted0 x_ContentPasted0" style="font-size:14.6667px; margin:0px; display:inline!important; color:rgb(36,36,36); background-color:rgb(255,255,255)"> Best, Per</span></div>
<br>
</div>
<br>
</blockquote>
</div>
</div>
</blockquote>
<br>
</blockquote>
</div>
</div>
</div>
</body>
</html>