<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body dir="auto">
<div dir="ltr"></div>
<div dir="ltr">On Jun 25, 2025, at 12:37 PM, Brian Goetz <brian.goetz@oracle.com> wrote:</div>
<div dir="ltr">
<blockquote type="cite"><br>
</blockquote>
</div>
<blockquote type="cite">
<div dir="ltr"> <font size="4" face="monospace">Note that the "side value" concept is essentially a way to upgrade Java's parameter-passing protocol to something more like Scala's implicits, where each method has two argument lists, one derived from types
and one consisting of pure runtime values. Compiler architects would love to have such a translation mechanism :)</font><br>
<br>
</div>
</blockquote>
<br>
<div>True in general but the particulars might be a mismatch. Getting the implicit argument (just one) via an intrinsic call will dampen their ardor for the feature. </div>
<div><br>
</div>
<div>Meanwhile, indy gives about 10 other ways to get similar effects!</div>
<div><br>
</div>
<div>The real primitive here IMO is the ability to clone call trees at non-generic anchors, in a way that permits and encourages the VM to render them (when hot) as independently profiled and customized machine code. Also object layouts, but the code specialization
is the super power. </div>
</body>
</html>