moand的编程学形式:一个(高阶)类型完成程序的组织。编程
将类型系统的转换与高阶函数进行了融合,相对于链式编程而言。segmentfault
类型关乎复合编程语言
范畴论与箭头的复合有关。可是并不是任意两个箭头均可以复合。一个箭头的目标对象必须与下一个箭头的源对象相同,这样的两个箭头方能复合。在编程中,咱们将一个函数的返回结果传递给另外一个函数。若是目标函数不能正确的解析源函数传递来的数据,程序就不会工做。首尾必须相连,方能实现复合。编程语言的类型系统越强,箭头的配合就越容易描述与检验。函数
链式编程的升级版。对象
<译> 类型与函数程序
https://segmentfault.com/a/1190000003888544数据