跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
外观
创建账号
登录
个人工具
创建账号
登录
未登录编辑者的页面
了解详情
贡献
讨论
模板
:
Type systems
7种语言
العربية
English
فارسی
日本語
മലയാളം
Русский
Svenska
编辑链接
模板
讨论
大陆简体
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
编辑
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
维基数据项目
打印/导出
下载为PDF
打印版本
外观
移至侧栏
隐藏
维基百科,自由的百科全书
类型系统
一般概念
类型安全
强类型与弱类型
主要分类
静态类型与动态类型
明示类型
(
英语
:
Manifest typing
)
与
推论类型
名义型别系统
与
结构类型
(
英语
:
Structural type system
)
鸭子类型
次要分类
抽象类型
依赖类型
流程敏感类型
(
英语
:
Flow-sensitive typing
)
渐进类型
(
英语
:
Gradual typing
)
交集类型
(
英语
:
Intersection type
)
潜在类型
(
英语
:
Latent typing
)
细化类型
(
英语
:
Refinement type
)
子结构类型
(
英语
:
Substructural type system
)
唯一类型
(
英语
:
Uniqueness type
)
会话类型
(
英语
:
Session type
)
查
论
编
分类
:
计算机科学模板
隐藏分类:
需要转换样式的侧边栏