http://d.hatena.ne.jp/cranebird/20080322/1206197358 で気にしたような、コンパイラだとかインタプリタだとかのような複雑なプログラムをちゃんと実装するには、何らかの手法が必要。 何となく「契約による設計」という言葉を思い出した。知っているのは不…