什么映射法平均（Scala的功能编程）

Question

在111页中，映射法则原因如下图所示：

• 线路1：map(unit(x))(f) == unit(f(x))
• 线路2：map(unit(x))(id) == unit(id(x))
• 3号线：map(unit(x))(id) == unit(x)
• 线路4：map(y)(id) == y

什么让我困惑的是跃迁从2号线到3号线，似乎我错过了一些东西，有人可以帮助吗？

Answer 1

是这样工作的，因为id(x) == x，所以：

map(unit(x))(id) == unit(id(x)) == unit(x)