JavaのRecordsで値を変更したコピーを作る構文の提案 Java 14からRecordsが搭載されていますが、いまのところ値の一部を変更したコピーを作ることはできません。 メソッドとして実現するのも、Javaでは名前付き引数がないので難しく、ビルダーのようなものを…