契約による設計事始め

実践 9 つのメモリリークどう見つける？/ How to detect 9 types of memory leaks?

[sugimori]

バリデーションとアサーションの違いを知った。

[SWIMATH2]

わかりやすい

[ko-ya-ma]

とてもわかりやすい解説

[programmablekinoko]

「例外は契約の放棄を表す」って良い定義。事後状態に関する契約を履行できない事態だから契約の「例外」というのがよく分かるし、どのエラーを例外として扱うべきか否かも明瞭になる

[h_taiji]

visual studio2017で使えないっぽい残念

[vanbraam]

ScalaってDesign/Programming by Contractをサポートしてたのか; P/DbCサポート言語で有名なのは(Eiffelを除くと) Clojure, D, Kotlin 辺り?: https://en.wikipedia.org/wiki/Design_by_contract#Language_support ; Rust 辺りでサポートしてくれると面白いのだが

[peketamin]

めっちゃ分かりやすかった。感謝！