この記事について Clean Architecture 達人に学ぶソフトウェアの構造と設計を読んだ際の覚え書きです 覚え書き すでに実績のある構造をプログラマが使用することで、それをコードに結び付け、自ら証明できるようにするのである。 テストとはプログラムに誤りがないことの証明 モジュールを数学の公式と考えるのであれば冪等性が重要だと感じた モジュールを再気的に小さな単位に分割できなくなること、それにより合理的な証明に欠かせない「分割統治」が使えなくなることを発見した。 モジュールを小さくする利点を知った 小さくすることで合理的な証明ができるようになる 証明する内容を明確にできる 証明がシンプ…