模板:Type systems

模板:Type systems

类型系统
一般概念
类型安全强类型与弱类型
主要分类
静态类型与动态类型明示类型（英语：Manifest typing）与推论类型名义类型与结构类型（英语：Structural type system）鸭子类型
次要分类
抽象类型依赖类型流程敏感类型（英语：Flow-sensitive typing）渐进类型（英语：Gradual typing）交集类型（英语：Intersection type）潜在类型（英语：Latent typing）细化类型（英语：Refinement type）子结构类型（英语：Substructural type system）唯一类型（英语：Uniqueness type）会话类型（英语：Session type）
查论编

导航菜单