首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
Template
:
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
）
查
论
编
