fp

xq_study/fp.md

@@ -210,7 +210,7 @@
     - 函子是范畴之间的关系。可以**理解为范畴之间的态射**。
     - 图中，函数`f`完成object的转换（`a`到`b`），将它传入函子，就可以实现范畴的转换（`Fa`到`Fb`）。
     - ![bg2017022211](/Users/xq/Documents/work/book/xq_study/img_readbook/bg2017022211.jpg)
-    - 范畴之间的态射，得到函子，由函子之间的态射，得到自然变换
+    - 范畴之间的态射，得到函子，由函子之间的态射，得到**自然变换**
     - 函子 F 将简单类型a 构造为复杂类型 F a，将简单类型的函数 f 变换为复杂类型的函数 F f；**类型构造子只有同时变换类型和函数，且满足函子定律时，才是一个函子。函子的用处**是将简单类型的函数通过类型构造子提升为复杂类型的函数，且不需要写额外的代码，使得一些基本函数可以应用到多种复杂数据类型的成员中，提高了这些基本函数的**重用性**。
 
 - Maybe 函子