2014-10-04から1日間の記事一覧

コードが正しいことは証明できない

不完全性定理や停止性問題に通じる話だと思う.(不完全性と決定不可能性の関係はいまいちよく分かっていない) その証明が正しいことを証明しろと言われてもできるわけない.説明はできるが,証明はできない.内容見て正しいか判断するしかない.見る人が正…

例外は基本投げずに処理し,できないならRuntimeExceptionを投げるべし

異常系はだるい 異常系の処理は,本筋ではないし,大体同じ処理だから,読む際にノイズになって可読性をすごく下げる,特にC. システムコールを呼ぶ度にいろいろ書くのは面倒だ. Javaの例外も大変だ Javaの場合は,Exceptionがあるからちょっとはマシかと…