マッピングの法律が何を意味する（Scalaでは機能プログラミング）

Question

111ページで、以下のようなマッピング法の理由：？

• ライン1：map(unit(x))(f) == unit(f(x))
• 回線2：map(unit(x))(id) == unit(id(x))
• LINE3：map(unit(x))(id) == unit(x)
• LINE4：map(y)(id) == y

何私を混乱することはtransiです私は何かを逃したようですが、誰かがこれを助けることができますか？

Answer 1

それはid(x) == x、そのため、このように動作します：

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