定義の一点性

暗黙の関係性を取り除くための設計原則

手続き的なモジュール化（入出力に注目したトップダウン・アプローチ）だと同じ計算式や判断条件が別モジュールに重複しやすい

型によるモジュール化のボトムアップによって実現がしやすい