<div dir="auto"><div dir="auto">Maybe I wasn't clear enough.</div><div dir="auto"><br></div><div dir="auto">When I said</div><div dir="auto">> To bridge the gap you would need to wrap the API with some construct that make the identity immutable.</div><div dir="auto"><br></div><div dir="auto">I meant something along the lines of Brian's method. My toy example was to demonstrate another possible solution to how to solve the issue at language level *if we were to decide this is were it should be solved there*.</div><div dir="auto"><br></div><div dir="auto">I do not wish to put this idea as a suggestion for a language improvement.</div><div dir="auto"><br></div><div data-smartmail="gmail_signature" dir="auto"><div dir="ltr">Holo The Wise Wolf Of Yoitsu</div></div><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Mon, 26 Jan 2026, 21:04 Mahied Maruf, <<a href="mailto:contact@mechite.com" rel="noreferrer noreferrer" target="_blank">contact@mechite.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> Holo The Sage Wolf says:<br>
> It seems like the problem is the flexibility combined with the ease of use.<br>
><br>
> Fundamentally, if you represent *mutation* using records you are bound to<br>
> have mismatches between different levels of the application.<br>
<br>
I think it's important to understand this semantic distinction<br>
properly.  You proposed a syntax to prevent derivation of an existing<br>
record if the identifier was changed, but to me this seems also like a<br>
case that could make sense and enforcement of it should be part of the<br>
database layer (ORM etc).  Brian proposed that a seperate class<br>
(or record) could be used just for the identifier and I both agree<br>
with this mental model and am already seeing it being done in e.g.<br>
representation of concatenated primary key where it already is much<br>
more intuitive to perform validation (among other things) this way.<br>
<br>
Best regards,<br>
Mahied Maruf <<a href="mailto:contact@mechite.com" rel="noreferrer noreferrer noreferrer" target="_blank">contact@mechite.com</a>><br>
</blockquote></div></div>