<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Looking from another angle, I think an important distinction
between creation and _derived_ creation is that in the latter case
you have some "fallback" values to use if the `with` block doesn't
specify transforms for all of them. In the plain creation case,
since the object did not exist before, there is nothing to fall
back to - other than the default value of course, which might be a
surprising/lousy choice in some cases. So perhaps the similarity
between these two cases is more superficial than it looks.<br>
</p>
<p>Maurizio<br>
</p>
<div class="moz-cite-prefix">On 24/01/2024 20:19, Remi Forax wrote:<br>
</div>
<blockquote type="cite" cite="mid:747149434.111514854.1706127578940.JavaMail.zimbra@univ-eiffel.fr">
<pre>And as a general remarks, I hope there will be a following JEP about
record instance creation that allows to use the syntax of a
transformation block to initialize a record.</pre>
</blockquote>
</body>
</html>