約束された失敗 １＋２

でももしかすると、

• 関数型で手続き型（あるいはもっと複雑な型）を推しはかろう

とするのと、

• 可視化（問題をある基準で分類し、重い順から管理する）

のは同じ事を言っている（抽象化と称して、その実、ざる）可能性も有ります。

自動テストも決まって関数の形ですが、それで済むのかです。

結論

この文書に結論は有りません。