moand的编程学形式：一个（高阶）类型包办程序的组织--类型关乎复合

moand的编程学形式：一个（高阶）类型完成程序的组织。

将类型系统的转换与高阶函数进行了融合，相对于链式编程而言。

 

类型关乎复合

范畴论与箭头的复合有关。可是并不是任意两个箭头均可以复合。一个箭头的目标对象必须与下一个箭头的源对象相同，这样的两个箭头方能复合。在编程中，咱们将一个函数的返回结果传递给另外一个函数。若是目标函数不能正确的解析源函数传递来的数据，程序就不会工做。首尾必须相连，方能实现复合。编程语言的类型系统越强，箭头的配合就越容易描述与检验。

 

链式编程的升级版。

 

<译> 类型与函数

https://segmentfault.com/a/1190000003888544