请问「类型论」是什么意思？
关于「类型论」
拼音 lèi xíng lùn，注音 ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ。数据更新于 2026-07-10 09:00:38。
| 拼音字母 | lei xing lun |
|---|---|
| 拼音首字母 | lxl |
| 注音符号 | ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ |
| 注音首符号 | ㄌㄒㄌ |
扩展释义
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。
拆字组词
相关词语
- 临时贮存是什么意思？
- 伊斯坦布尔是什么意思？
- 刘淼森是什么意思？
- 十二红药酒是什么意思？
- 北京尊府是什么意思？
- 周犇是什么意思？
- 大红门西里是什么意思？
- 天外瘟疫是什么意思？
- 孤独探戈是什么意思？
- 小叶鹅掌柴是什么意思？
- 斟酒是什么意思？
- 普通教育是什么意思？
- 曲乃述是什么意思？
- 正义的阴影是什么意思？
- 汪晓明是什么意思？
- 爱不留是什么意思？
- 父子情劫是什么意思？
- 生化危机恶化是什么意思？
- 猫街是什么意思？
- 种差是什么意思？
- 空间数据结构是什么意思？
- 篮球运动是什么意思？
- 罚没是什么意思？
- 荒冢是什么意思？
- 西樵大桥是什么意思？
- 西洋棋是什么意思？
- 赵根友是什么意思？
- 近代史教程是什么意思？
- 鞘柄乌头是什么意思？
- 聆烨是什么意思？
- 皖西白鹅是什么意思？
- 火浦元是什么意思？
- 排骨炖鳝筒是什么意思？
- 冤家路宰是什么意思？
- 拼盘角玉鸡是什么意思？
- 八鲜蟹合是什么意思？
- 奥丽莎是什么意思？
- 棕胸啸鹟是什么意思？
- 短吻棘鲛是什么意思？
- 杉本芋螺是什么意思？
- 琥磺胺噻唑是什么意思？
- 五灵脂汤是什么意思？
- 中艸堂是什么意思？
- 贾英是什么意思？
- 朱洪书是什么意思？
- 金名世是什么意思？
- 捉螃蟹是什么意思？
- 慢慢走是什么意思？
- 无线广告是什么意思？
- 麻城中学是什么意思？