多角的に検証してないけどとりあえず思い付きをメモしてみた。状態を持つ Session オブジェクトを UI から操作する場合を考えてみる。Session が単一の interface を持つ場合は、特定状態では実行不可能なメソッドを叩くと実行時例外がスローされるように作…

robustness は要件として検討されるもので、robustness を要件に含めるという文脈でのみ correctness を検討する必要が出てくるんじゃないかと思う。また、基本的には robustness を要件に含めると複雑さや保守コストがかなり増す*1ので、よほど特殊な事情で…

ふと思ったのでメモ。おいらは java では検査例外を結構気に入って使っていたが、kotlin では実行時例外しかないので微妙に困った。しかし、そもそも検査例外に満足していたわけでもない。基本的にはインタフェースメソッドの仕様はユースケースに近い考え方…

ふと思ったのでメモ。要約：インタフェースメソッドの引数はインタフェース設計の視点で決定されるべきであり実装の都合を持ち込んではいけないかもしれないしそうでないかもしれないがおいらはそう思うｗ。※サンプルを見やすくするため getter/setter は使…