摘要：
1、基础类型转换为高阶类型（monad），以便使用函数式编程的特性：map、reduce，pipeline、业务组织、异步编程等； 2、高阶类型转化为基础类型：以便使用基础类型的态射（计算）功能。 3、高阶类型的内部转换（泛型类型转换）--类型关乎复合--以便业务的组织。 高阶类型起到桥接的功能。 阅读全文
posted @ 2019-03-07 19:02
zzfx
阅读(357)
评论(0)
推荐(0)
摘要：
类型系统的作用？ 数据的组织、访问规则，程序组件的结合性、类型信息的运行时等。 阅读全文
posted @ 2019-03-07 18:28
zzfx
阅读(140)
评论(0)
推荐(0)
摘要：
moand的编程学形式：一个（高阶）类型完成程序的组织。 将类型系统的转换与高阶函数进行了融合，相对于链式编程而言。 类型关乎复合 范畴论与箭头的复合有关。但是并非任意两个箭头都可以复合。一个箭头的目标对象必须与下一个箭头的源对象相同，这样的两个箭头方能复合。在编程中，我们将一个函数的返回结果传递给 阅读全文
posted @ 2019-03-07 18:24
zzfx
阅读(275)
评论(0)
推荐(0)
摘要：
在范畴论里，一个范畴(category)指的是这样一个好东西，它由三部分组成： 函子 前面对范畴的介绍反映了范畴内部各个对象之间的联系与相互作用，在范畴论里另外研究的重点是范畴与范畴之间的关系，就正如对象与对象之间有态射一样，范畴与范畴之间也存在某些映射，从而可以将一个范畴映射为另一个范畴，这种映射 阅读全文
posted @ 2019-03-07 17:55
zzfx
阅读(913)
评论(0)
推荐(0)
该文被密码保护。 阅读全文
posted @ 2019-03-07 16:22
zzfx
阅读(9)
评论(0)
推荐(0)
摘要：
起点： 高阶函数的复用，参量函数的混入、数据映射； 从输入到输出的映射。 一切皆是映射映射即流流即函数 进阶： 对异步的支持；惰性求值 对并发的支持；纯函数； 对栈内存的优化：尾递归； 终点： 函数式编程的组织及型变：monand 函数式编程语言的形式：声明式语言（以输入、输出（类型）、高 阅读全文
posted @ 2019-03-07 15:01
zzfx
阅读(280)
评论(0)
推荐(0)
摘要：
锁的本质：操作的序列化、队列化 阅读全文
posted @ 2019-03-07 13:17
zzfx
阅读(337)
评论(0)
推荐(0)
浙公网安备 33010602011771号