niw

はい、それでいいと思います。で、単に僕のいるドメインがバグって人が死なない（例えですよ）のソフトウェアばかりで、なので経験上ではvarのケースが多いっていう話です。それでもletにする人が多くてそうなってしまった場合、letになってることのデメリットがメリットを上回るという話だったかなと。

不正なメールアドレスとかソートされてない配列とかはまさにクラス不変条件のよくある例です。これらに違反したインスタンスがどこかのコンポーネントの入力に入ってバグる、それを直すのは経験上かなりめんどくさいしコードがかなり荒れると思います