Design by Contract(契約による設計)でScalaの守備力を上げる - このブログの90%はガラクタこのエントリはScala Advent Calendar jp 2010の16日目です。 昨日は@ussy00さんのScala でテンプレートエンジンを利用して HTML メールを送信するでした。 月日がたつのは早いもので今年も残すところ後9日です。 前回のブログ更新直後にtwitterで「あっ」とつぶやいてみれば、それが公開される頃には一年以上の月日が過ぎていました。 夏にはカブトムシが群がる程ワキの甘い一年でしたが、最期ぐらいはビシッと締める必要があります。 そんな僕にDesign by Contract(以下 DbC)です。 javaにはDbCをサポートするツールとしてContract4Jなどがありますが、 今回はscala wikiに掲載されていた、traitを使用したシンプルなDbCの実現方法の紹介とコードの解説をしたいと思います。 そもそもDbCってなによって方はまずこの辺りを
