Object 可组合性与抽象性的关系

我在寻找一种理解抽象和可组合性之间关系的方法

从表面上看，我知道可组合系统允许程序员脱离与抽象相关的较低层次的细节，但我觉得一个例子（数学或思维实验等）可以将这一切联系在一起

---

有什么聪明的启发式方法可以理解这一点吗？

欢迎加入！这个问题可能已经离题了。看看你是否在正确的位置。可能还有另一个更合适的StackExchange站点。