2011-08-21 20:11:18 RT @kazuk: Code Contracts 以前はパラメータチェックの if throw を書くのが苦痛でした、Code Contracts 以後はなぜか Contracts を書いてるのが楽しいです。静的解析でどんどんバグが洗い出されていくのがうれしすぎる