cranebird https://blog.hatena.ne.jp/cranebird/ cranebirdの日記 https://cranebird.hatenadiary.org/ http://d.hatena.ne.jp/cranebird/20080322/1206197358 で気にしたような、コンパイラだとかインタプリタだとかのような複雑なプログラムをちゃんと実装するには、何らかの手法が必要。 何となく「契約による設計」という言葉を思い出した。知っているのは不変条件、事前条件、事後条件という言葉くらいだけど。 macro を使えば、関数定義の際に常に条件を指定させることが可能だ。それにまともに使ったことはないけど、 CLOS のメソッドコンビネーションを使えば、対象とするメソッドの実行前後に、チェック用のメソッドを走らせることができる。 以下はスタッククラスに事… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcranebird.hatenadiary.org%2Fentry%2F20080323%2F1206275615" title=" Design by contract - cranebirdの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-03-23 21:33:35 rich https://cranebird.hatenadiary.org/entry/20080323/1206275615 1.0 100%