zzfx

2019年3月10日

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

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

摘要：类型推断的前提是有待定类型和上下文。 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 阅读(469) 评论(0) 推荐(0)

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

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

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

2019年3月9日

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

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

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

2019年3月8日

swift的关联类型

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

posted @ 2019-03-08 19:38 zzfx 阅读(663) 评论(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 阅读(805) 评论(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 阅读(720) 评论(0) 推荐(0)

2019年3月7日

函数式编程的类型转换

摘要： 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的编程学形式：一个（高阶）类型包办程序的组织--类型关乎复合

摘要： 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)

2019年3月6日

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

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

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

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

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

posted @ 2019-03-06 16:17 zzfx 阅读(177) 评论(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 阅读(310) 评论(0) 推荐(1)

Actor模型---SwiftActors

摘要： actor是一个无线程区别的内存访问对象；actor背后有线程支持；actor的事件处理依赖与这个线程（队列、池）。 actor是一种面向对象的线程（池）模型，强调对事件的响应；在iOS中相当于一种通信简化的runloop模型；对比：数据结构化的线程模型，侧重于强调线程拥有的资源（栈、优先级、状态阅读全文

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

多线程的核心问题

摘要：竞争与合作没有先后依赖关系的为竞争有先后依赖关系的为合作阅读全文

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

2019年3月5日

协程运行原理猜测: async/await

摘要： 1、根据await调用链寻找最终的生产者或服务提供者； 2、请求服务； 3、进行执行环境切换，跳出顶层函数（第一个无await修饰的函数），执行后面的语句； 4、服务完成，将服务数据复制给最底层的await函数的返回值； 5、进行上下文切换，执行await后面的语句； 6、从1开始新的循环。调用a 阅读全文

posted @ 2019-03-05 21:45 zzfx 阅读(319) 评论(0) 推荐(0)

公告