Dumme Frage: Macht es praktisch einen Unterschied ob man dem Record nun eine static class function Init(..)
oder einen constructor Create(..)
gibt?
Vom generierten Code her nicht. Ich persönlich finde den Konstruktor sinnvoller, da man dann sofort weiß was da passieren soll. Schließlich gibt es den in Records genau dafür. Bei anderen Klassenmethoden muss man immer erst nachschauen was die eigentlich machen, wenn man fremden Code liest.