摘要：
所谓swift的类型擦除是指： moand转换； 通过技术手段（通常是包装器），将具体类型的类型信息擦除掉了，只将类型的（某一个侧面的）抽象信息（通常指的是类型尊从的协议、接口、或基类）暴露出来。 AnyHashable 属于无关联类型的擦除。 将具体类型的类型信息擦除掉了，只将协议类型的信息暴露出 阅读全文
摘要：
AnyHashable 属于无关联类型的擦除。 将具体类型的类型信息擦除掉了，只剩下协议类型的信息暴露出来。 类型擦除实践：将相同协议的不同实现屏蔽起来，暴露出类型的共同特征（协议接口）。 A type-erased hashable value. public struct AnyHashable 阅读全文
摘要：
swift语言的特征： 类型系统：值类型与引用类型、泛型、协议类型 函数式编程： 阅读全文
摘要：
类型与算法是绑定的，绑定的方式有以下几种： 1、类型定义时直接绑定； 2、扩展绑定； 3、继承绑定； 4、全局函数绑定； 阅读全文
摘要：
Type Erasure Pattern We can use the type erasure pattern to combine both generic type parameters and associated types to satisfy both the compiler and 阅读全文
摘要：
？协变性与逆变性是类型关系在范畴论的定义。是类型的继承关系在高阶类型中的定义？ __kindof只是在统一继承体系下方便了类型转化，提供了使用时语法上的便捷；但是对于类型转换是否正确不做判定； kindDerived *derived = [self getInstance]; - (__kindo 阅读全文
摘要：
关键词： 类型与功能绑定、类型指定、访问控制。 类型约束的本质： 1、是否强制指定具有某些特征的类型；看类型构造器的定义本身是否对类型有约束； 2、访问控制：类型构造器的功能分为通用功能和约束功能； 通用功能任何实例类型都能访问； 约束功能，只有符合约束的构造实例能够访问。 类型与算法（功能）绑定； 阅读全文