Kuniwak

クラスのインスタンスは全てメソッドの実行途中でない限りはクラス不変条件を満たします。その意味では型で切り取ったインスタンスの集合からさらに不変条件で削っているので、インスタンスの取る範囲を指示しているという表現は正しいと思います (edited)

そうですね。例えば静的に型宣言するだけで一気に整数だけに限定できるが、さらに偶数だけに限定しようとすると動的な検査が必要になる。これを静的か動的かに関係なくどういう値を取るか決めてそれを保てる性質が健全性、と認識しました。