moand的编程学形式:一个(高阶)类型包办程序的组织--类型关乎复合

时间:2023-03-10 05:40:41
moand的编程学形式:一个(高阶)类型包办程序的组织--类型关乎复合

moand的编程学形式:一个(高阶)类型完成程序的组织。

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

类型关乎复合

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

链式编程的升级版。

<译> 类型与函数

https://segmentfault.com/a/1190000003888544