什麼映射法平均（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)