<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<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">
Sorry for being unclear.<br>
<br>
So, the API guarantees evaluation is made at most once, so it is an error to recursively invoke a value provider (which value would we then bind?). Consequently, there are no plans to allow circular evaluation.<br>
<br>
However, you can check if another ComputedConstant isBound() from a provider for another ComputedConstant. It is also allowed to get() the bound value from other ComputedConstants as long as they do not query the querying ComputedConstant instance. For example,
you might want to have a List<ComputedConstant<Integer>> that caches the Fibonacci series and when computing fib(n), you invoke fib(n-1) and fib(n-2) as the latter do not invoke fib(n).</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">
I hope that clears things up.</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> David Alayachew <davidalayachew@gmail.com><br>
<b>Sent:</b> Monday, July 31, 2023 10:30 AM<br>
<b>To:</b> Per-Ake Minborg <per-ake.minborg@oracle.com><br>
<b>Cc:</b> leyden-dev@openjdk.org <leyden-dev@openjdk.org><br>
<b>Subject:</b> Re: [External] : Re: Draft JEP Announcement: "Computed Constants"</font>
<div> </div>
</div>
<div>
<div dir="ltr">
<div class="x_gmail_default" style="font-family:monospace">Hello Per,</div>
<div class="x_gmail_default" style="font-family:monospace"><br>
</div>
<div class="x_gmail_default" style="font-family:monospace">Thank you for the response!</div>
<div class="x_gmail_default" style="font-family:monospace"><br>
</div>
<div class="x_gmail_default" style="font-family:monospace">I'm afraid I don't follow. Could you demonstrate what you mean?</div>
<div class="x_gmail_default" style="font-family:monospace"><br>
</div>
<div class="x_gmail_default" style="font-family:monospace">Thank you for your time and help!</div>
<div class="x_gmail_default" style="font-family:monospace">David Alayachew<br>
</div>
</div>
<br>
<div class="x_gmail_quote">
<div dir="ltr" class="x_gmail_attr">On Mon, Jul 31, 2023 at 3:05 AM Per-Ake Minborg <<a href="mailto:per-ake.minborg@oracle.com">per-ake.minborg@oracle.com</a>> wrote:<br>
</div>
<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">
<div class="x_msg23388217874826487">
<div dir="ltr">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Hi David. <br>
<br>
Thanks for the encouragement.<br>
<br>
You can actually *reference* CC objects in a circular way as long as you do not create circularity in the *evaluation* of CC objects. So, it is, for example, perfectly legal to query if a CC is bound via the isBound() method in a circular way.<br>
<br>
Just to remind you, initialization can only be made at most once per CC instance/element.</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Best, Per</div>
<div id="x_m_23388217874826487appendonsend"></div>
<hr style="display:inline-block; width:98%">
<div id="x_m_23388217874826487divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> David Alayachew <<a href="mailto:davidalayachew@gmail.com" target="_blank">davidalayachew@gmail.com</a>><br>
<b>Sent:</b> Thursday, July 27, 2023 7:27 PM<br>
<b>To:</b> Per-Ake Minborg <<a href="mailto:per-ake.minborg@oracle.com" target="_blank">per-ake.minborg@oracle.com</a>><br>
<b>Cc:</b> <a href="mailto:leyden-dev@openjdk.org" target="_blank">leyden-dev@openjdk.org</a> <<a href="mailto:leyden-dev@openjdk.org" target="_blank">leyden-dev@openjdk.org</a>><br>
<b>Subject:</b> [External] : Re: Draft JEP Announcement: "Computed Constants"</font>
<div> </div>
</div>
<div>
<div dir="ltr">
<div style="font-family:monospace">Hello Per,<br>
<br>
Thank you for posting this JEP!<br>
<br>
It looks great. The solution is concise, clear, and simple, and any complaints I have about verbosity can be mostly addressed with var. And that list suggestion was especially nice. That's very neat.<br>
<br>
I'd like to ask about the safety point. I certainly understand the reason why it exists -- some developers will inadvertently create a circular reference and end up causing problems.<br>
<br>
However, I see a lot of utility for circular references too. Any chance that we could allow devs to opt-in to circular references?<br>
<br>
Earlier this month, I started 2 threads that were broaching the subject of a very similar pain point to this one. Here they both are.<br>
<br>
<a href="https://mail.openjdk.org/pipermail/amber-dev/2023-July/008129.html" target="_blank">https://mail.openjdk.org/pipermail/amber-dev/2023-July/008129.html</a><br>
<br>
<a href="https://mail.openjdk.org/pipermail/amber-dev/2023-July/008154.html" target="_blank">https://mail.openjdk.org/pipermail/amber-dev/2023-July/008154.html</a><br>
<br>
I'm curious how this Computed Constant solution would work out for the problem I have. But in order for it to work, it would need to enable circular references, hence my question.<br>
<br>
But even without it, I see a lot of utility for this tool. I'm excited to get to work prototyping with it.<br>
<br>
Thank you for your time and help!<br>
David Alayachew<br>
</div>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</body>
</html>