契約プログラミングの逆、型推論だと思う＞＜（？＞＜；）

（明示的な記述では無いので、わざわざコードを追って推論しなくちゃいけない＞＜ 機械はこき使っても誤差レベルの電力消費くらいしか影響ないだろうけど、人間も同じ事をやらされるし、人間に読ませるコードを増やすのは誤差の範囲に収まらない無駄に発生する作業かも＞＜）