>>198

> 多くの必要な不変条件を型の中に埋め込みました。いまや不変条件は型の一部なのです。コンパイラはこれらの不変条件を破るコードを見つけ、拒否することができます。これは手作業で行う仕事を減らし、手で管理するよりも信頼できます。

ごめん。引用しちゃったw
君の手作業でアサーション入れまくりのコード（いわゆるテストの一種）より静的型検査の方が手間が少なく間違いにくいのは自明ですよ