我的随笔

面向对象的本质：基于对象+面向接口+继承

zzfx 2019-03-14 17:47 阅读:263 评论:0 推荐:0

多态的本质：同一函数接口在接受不同的类型参量时表现出不同的行为--多态是面向接口编程

zzfx 2019-03-14 17:40 阅读:397 评论:0 推荐:0

类型约束的本质是：类型构造器在约束类型的基础上构造新的类型

zzfx 2019-03-14 17:21 阅读:135 评论:0 推荐:0

类型约束的语义学研究：基于类型约束的编程

zzfx 2019-03-14 15:56 阅读:193 评论:0 推荐:0

复合类型、类型约束、添加功能、高阶函数

zzfx 2019-03-14 11:33 阅读:167 评论:0 推荐:0

An Introduction to Protocol Oriented Programming in Swift

zzfx 2019-03-13 19:32 阅读:341 评论:0 推荐:0

swift类型擦除的定义-swift的类型擦除只是一个类型高低阶转换的游戏。

zzfx 2019-03-13 18:31 阅读:375 评论:0 推荐:0

AnyHashable类型擦除的原因：set和dictory需要指定一个确定的类型

zzfx 2019-03-13 18:13 阅读:786 评论:0 推荐:0

swift语言的特征：类型系统与函数式编程:swift是面向类型和面向函数编程的语言

zzfx 2019-03-13 18:10 阅读:288 评论:0 推荐:0

类型的关联方法的绑定方式

zzfx 2019-03-13 17:45 阅读:371 评论:0 推荐:0

Breaking Down Type Erasure in Swift

zzfx 2019-03-13 17:28 阅读:296 评论:0 推荐:0

oc 的协变性与逆变性

zzfx 2019-03-13 16:02 阅读:317 评论:0 推荐:0

swift的类型约束

zzfx 2019-03-13 15:22 阅读:471 评论:0 推荐:0

声明式编程：程序＝数据＋逻辑（what）＋算法（控制＋计算）

zzfx 2019-03-11 22:10 阅读:687 评论:0 推荐:0

swift protocol的几种形式

zzfx 2019-03-11 18:51 阅读:2140 评论:0 推荐:0

函数式编程编程即高阶函数+monad

zzfx 2019-03-11 17:04 阅读:331 评论:0 推荐:0

泛型理论及抽象方向

zzfx 2019-03-11 16:56 阅读:343 评论:0 推荐:0

类型与函数的结合性：给类型添加函数？

zzfx 2019-03-11 15:59 阅读:216 评论:0 推荐:0

类型系统的作用

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

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

zzfx 2019-03-11 15:32 阅读:456 评论:0 推荐:0