zzfx

2019年3月11日

摘要：安全，有了类型系统以后就可以实现类型安全，这时候程序就变成了一个严格的数学证明过程，编译器可以机械地验证程序某种程度的正确性，从而杜绝很多错误的发生。正面例子：Haskell、Rust反面例子：C，动态语言抽象能力，在安全的前提下，一个强大的类型系统的标准是抽象能力，能将程序中的很多东西纳入安全的阅读全文

posted @ 2019-03-11 15:51 zzfx 阅读(485) 评论(0) 推荐(0)

函数式编程的终极形式：面向映射流的编程pipeline

摘要： 1、单体（数据）映射：基本操作；数据的单次映射； 2、管道流：数据的流程化处理基础是monand类型，形式是声明式编程； Pipeline模型：它以一种“链式模型”来串接不同的程序或者不同的组件，让它们组成一条直线的工作流。这样给定一个完整的输入，经过各个组件的先后协同处理，得到唯一的终于输出。阅读全文

posted @ 2019-03-11 15:32 zzfx 阅读(455) 评论(0) 推荐(0)

高阶函数的定义、使用与语义

摘要： <高阶函数定义了高阶类型的处理（映射）、低阶函数处理了低阶类型的映射，高阶函数依赖于低阶函数> 高阶函数的特点： 1、定义的高阶函数本身的实现； 2、定义了参量函数的接口：输入、输出； 3、定义了高阶函数的功能部分对输入函数的引用或使用方式。语义：定义高阶函数并声明混入函数的接口本质是暴露低阶阅读全文

posted @ 2019-03-11 11:53 zzfx 阅读(1539) 评论(0) 推荐(0)

2019年3月10日

Swift 实践篇之链式 UI 代码

摘要： https://blog.nswebfrog.com/2017/10/20/swift-practice-ui-chaining-code/ 阅读全文

posted @ 2019-03-10 22:03 zzfx 阅读(283) 评论(0) 推荐(0)

swift的类型推断

摘要：类型推断的前提是有待定类型和上下文。 1、由定义推断实现的类型； 2、由赋值推断声明的类型； 3、由实现推断泛型的类型； Type inference refers to the automatic detection of the data type of an expression in a p 阅读全文

posted @ 2019-03-10 21:57 zzfx 阅读(468) 评论(0) 推荐(0)

类型系统时编程语言的基础

摘要：对每一门编程语言的掌握都要仔细考究着门语言的类型系统。阅读全文

posted @ 2019-03-10 12:06 zzfx 阅读(144) 评论(0) 推荐(0)

2019年3月9日

学习理论：理论联系实际－－演绎归纳演绎

摘要：理论和实际的学校是一个交互向上的过程。理论是抽象的东西，是一般的东西；实际是具体的东西，是个例；从理论到具体是演绎；从具体到理论时归纳；理论的学校用于指导实际；具体的分析用于强化理论；二者的学习是一个交互的过程；没有实际支撑的理论是纸上谈兵、是空洞之物；没有理论支撑的实际是形而下，阅读全文

posted @ 2019-03-09 14:58 zzfx 阅读(547) 评论(0) 推荐(0)

2019年3月8日

swift的关联类型

摘要：一、术语：指定类型 typealias：用于给关联类型指定类型；通过类型推断给关联类型指定类型太过烧脑；二、类型指定 1、具体类型实现协议后，直接指定；作为普通的泛型类型使用，指定类型即可； 2、将协议实现为泛型构造器，关联类型通过泛型构造器的输入类型指定； 3、关联类型本身有协议约束；需要先构阅读全文

posted @ 2019-03-08 19:38 zzfx 阅读(661) 评论(0) 推荐(0)

Swift: Associated Types--为什么协议使用关联类型而不是泛型

摘要：关联类型的形式为类型的引用进而进行约束提供了条件；同时能够简化语法形式。 Swift: Associated Types http://www.russbishop.net/swift-associated-types Associated Types Series Swift Associate 阅读全文

posted @ 2019-03-08 19:38 zzfx 阅读(801) 评论(0) 推荐(0)

swift和oc的protocol的成员变量

摘要：都需要协议实现者提供具体变量；否则认为不符合协议。 @protocol edddd <NSObject> @property(nonatomic, strong) NSObject *egooo; @end Auto property synthesis will not synthesize p 阅读全文

posted @ 2019-03-08 19:16 zzfx 阅读(718) 评论(0) 推荐(0)

2019年3月7日

函数式编程的类型转换

摘要： 1、基础类型转换为高阶类型（monad），以便使用函数式编程的特性：map、reduce，pipeline、业务组织、异步编程等； 2、高阶类型转化为基础类型：以便使用基础类型的态射（计算）功能。 3、高阶类型的内部转换（泛型类型转换）--类型关乎复合--以便业务的组织。高阶类型起到桥接的功能。阅读全文

posted @ 2019-03-07 19:02 zzfx 阅读(352) 评论(0) 推荐(0)

类型系统的作用？

摘要：类型系统的作用？数据的组织、访问规则，程序组件的结合性、类型信息的运行时等。阅读全文

posted @ 2019-03-07 18:28 zzfx 阅读(138) 评论(0) 推荐(0)

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

摘要： moand的编程学形式：一个（高阶）类型完成程序的组织。将类型系统的转换与高阶函数进行了融合，相对于链式编程而言。类型关乎复合范畴论与箭头的复合有关。但是并非任意两个箭头都可以复合。一个箭头的目标对象必须与下一个箭头的源对象相同，这样的两个箭头方能复合。在编程中，我们将一个函数的返回结果传递给阅读全文

posted @ 2019-03-07 18:24 zzfx 阅读(271) 评论(0) 推荐(0)

范畴论完全解读：函子是范畴（高阶类型）间的映射

摘要：在范畴论里，一个范畴(category)指的是这样一个好东西，它由三部分组成：函子前面对范畴的介绍反映了范畴内部各个对象之间的联系与相互作用，在范畴论里另外研究的重点是范畴与范畴之间的关系，就正如对象与对象之间有态射一样，范畴与范畴之间也存在某些映射，从而可以将一个范畴映射为另一个范畴，这种映射阅读全文

posted @ 2019-03-07 17:55 zzfx 阅读(904) 评论(0) 推荐(0)

编程范式游记-密码是学号

该文被密码保护。阅读全文

posted @ 2019-03-07 16:22 zzfx 阅读(9) 评论(0) 推荐(0)

函数式编程从起点到终点

摘要：起点：高阶函数的复用，参量函数的混入、数据映射；从输入到输出的映射。一切皆是映射映射即流流即函数进阶：对异步的支持；惰性求值对并发的支持；纯函数；对栈内存的优化：尾递归；终点：函数式编程的组织及型变：monand 函数式编程语言的形式：声明式语言（以输入、输出（类型）、高阅读全文

posted @ 2019-03-07 15:01 zzfx 阅读(275) 评论(0) 推荐(0)

锁的本质：操作的序列化

摘要：锁的本质：操作的序列化、队列化阅读全文

posted @ 2019-03-07 13:17 zzfx 阅读(337) 评论(0) 推荐(0)

2019年3月6日

异步编程的本质：怎么处理异步请求（事件）与响应的关系

摘要：异步编程 Ebay技术架构倡导到处异步，异步能够提高系统的可伸缩性，有一种误解:认为异步就会慢于同步，其实异步后才能并行并发，利用多CPU的并行并发处理要比同步串联处理无疑性能要提升多。异步的目的是从设计上解耦，从执行顺序上进行切分，将串行变成并行。传统的同步编程是一种请求响应模型，调用一个方法阅读全文

posted @ 2019-03-06 16:27 zzfx 阅读(1056) 评论(0) 推荐(0)

Rx编程的第一步是将native对象转换为monad对象

摘要： Rx编程的第一步是将native对象转换为monad对象将基础类型转换为高阶类型，以便使用函数式编程的特性。阅读全文

posted @ 2019-03-06 16:17 zzfx 阅读(175) 评论(0) 推荐(0)

Rx = Observables（响应） + LINQ（声明式语言） + Schedulers（异步）

摘要： Reactive = Observables（响应）+ Schedulers（异步）. Extensions = LINQ（语言集成查询） LINQ： The Operators of ReactiveX Operators By Category Creating Observables Oper 阅读全文

posted @ 2019-03-06 15:48 zzfx 阅读(308) 评论(0) 推荐(1)

公告