
<!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>