(a % b) % c == a % (b % c)
有这样的定律吗？
有没有直观的证明，最好图形化什么的。
此坑来源 20min ~ 26min 老头用时钟作为例子解释 Monad, 时钟运算由加法和模运算两条规则组成. 加法运算显然符合 Monad 的他倒是解释了许多， 模运算是否满足 Monad 定律他则一笔带过，略不严谨了吧
(a % b) % c == a % (b % c)
有这样的定律吗？
有没有直观的证明，最好图形化什么的。
此坑来源 20min ~ 26min 老头用时钟作为例子解释 Monad, 时钟运算由加法和模运算两条规则组成. 加法运算显然符合 Monad 的他倒是解释了许多， 模运算是否满足 Monad 定律他则一笔带过，略不严谨了吧