圏論の無駄遣い ２

モナドこそ、技術的負債の模式？

• 𝑇(𝑓):𝑇(𝐴)→𝑇(𝐵) 

で、𝑇 を、いくら変化させても、実情に合ったシステムにならない場合、

• 負債がある

と、定式化出来る、合わないモナドは負債である

と言える可能性すら有ります。

結論

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