开发者社区 问答 正文

所以函子是比 map 方法更加严格的定义,他还要求 map 满足哪些的定律?

所以函子是比 map 方法更加严格的定义,他还要求 map 满足哪些的定律?

展开
收起
游客hmzk6xi5mlygs 2022-05-12 14:44:52 258 分享 版权
1 条回答
写回答
取消 提交回答
  • 单位元律:Box< T> 在应用了恒等函数后,值不会改变,即 box.equals(box.map(Function.identity()))始终成立(这里的 equals 只是想表达的一个数学上相等的含义) 复合律:假设有两个函数 f1 和 f2,map(x -> f2(f1(x))) 和 map(f1).map(f2) 始终等价

    2022-05-12 17:45:24
    赞同 展开评论
问答标签:
问答地址: