找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 类型论
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。 — 拼音 lèi xíng lùn，更新 2026-07-12 17:34:39
| 拼音 | lèi xíng lùn |
|---|---|
| 拼音字母 | lei xing lun |
| 首字母 | lxl |
| 注音 | ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ |
| 注音符号 | ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ |