Kishikawa Katsumi

私はわりとletで作るしそういうのはinitも公開しないんだけど、デフォルトvarでいいっていうのはその名前付きTupleとして使うStructはそれでいいと思うんですけどそれ以外は場合による、のじゃないのかしら？

はい。「それ以外」を明確に定義すると、値が取りうる範囲とかプロパティ同士の値の関係に制約があるような、健全性条件とか恒等条件がある場合としてうまく言及できるんじゃないか、と先日話してしました。 (edited)

5:21 AM

例の岸川さんのパケット構造の例とかは、「このプロパティはこの値しか取ってはいけない」という設計意図があって、それはまさに健全性条件ですね (edited)