摘要：
Objective-C没有命名空间，为了避免冲突，Objective-C的类型一般都会加上两到三个字母的前缀，比如Apple保留的NS和UI前缀，各个系统框架的前缀，各个系统框架的前缀SK（StoreKit），CG（CoreGraphic）等。 Swift的命名空间是基于module而不是在代码中显 阅读全文
摘要：
类型系统是编程语言的基石 Type systems are generally formulated as collections of rules for checking the “con- sistency” of programs. This kind of checking exposes 阅读全文
摘要：
泛型类型是高阶类型的必经之路。 阅读全文
摘要：
具体类型：能够初始化； 抽象类型：不能直接初始化； 类型参量：泛型和高阶类型的通道； 类型约束：泛型到高阶类型的通道。 基础类型； 结构类型； 容器类型； 高阶类型； 泛型、抽象类型： 类型是否能够直接初始化。 低阶类型与高阶类型的转化。 阅读全文
摘要：
类型转化：任意类型、继承体系类型、基础类型的平级转化； 类型变化：值类型与容器类型的迭代变换。适配器模式、代理模式等。 阅读全文