你
请解释一下「类型论」这个词的含义。
助手
类型论
lèi xíng lùn · ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
lei xing lun
lxl
ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
2026-08-17 03:19:34
扩展释义
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。
友情链接
抓书网
短词网
书号查询
星云网
长沙天气预报30天是什么意思？
云知天气一周天气是什么意思？
千山天气预报30天是什么意思？
查看西藏天气-雨林天气 查看西藏天气 西藏是什么意思？
成都天气预报30天是什么意思？
云·原神手机版下载 游戏辅助 / 72.7M 2026-03-06 18:30:03 下载是什么意思？
沈阳天气预报30天是什么意思？
西安天气预报30天是什么意思？
张新新是什么意思？
学校是什么意思？
西藏自治区天气预报30天是什么意思？
园林花木实践报告(汇编19篇)是什么意思？
艾丽西亚 拼音 ài lì xī yà，一文读懂「艾丽西亚」的含义、出处与用法。 ài lì xī yà 国典词典 - 汉语词语大全 2026-06-30 15:41:30是什么意思？
李洪丽是什么意思？
望花天气预报30天是什么意思？
半风是什么意思？