类型论

✍ dations ◷ 2025-09-18 01:20:38 #类型论
在最广泛的层面上,类型论(英语:type theory)是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上,它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的,并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中,类型论提供了设计分析和研究类型系统的形式基础。实际上,很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究,尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。

相关

  • 人类的咽(pharynx),又称咽头,是颈部的一个部分,为一条连接口腔和鼻腔至食道和气管(食道和气管交界)的圆锥形通道,是消化道和呼吸道的交会处。咽头与喉头在解剖学上合称为咽喉。人类
  • 人类免疫缺陷病毒人类免疫缺陷病毒(英语:human immunodeficiency virus,簡稱HIV,又称艾滋病毒)是一种感染人类免疫系统细胞的慢病毒,属逆转录病毒的一种。普遍认为,人类免疫缺陷病毒的感染导致艾滋
  • 润肤剂润肤膏,是一种日用品,功能是润肤及护肤。润肤膏由天然物料或者石油等化学物料合成。在商品市场上定位为化妆品或药品。润肤膏在冬日令皮肤避免干燥损伤。润肤膏保持皮肤湿润,可
  • 世界能源消耗量世界能源消耗量是指所有人类文明所使用的能量总和。它通常以年度测定,并会计算人类文明所使用的所有能量来源,是审视可持续发展的重要数据,对人类的社会、经济、政治领域有很深
  • 口臭口臭指人张开口时发出的臭味,普遍视为一个表面的病征。其起因可以有很多种,大多来自口腔的问题,例如蛀牙和牙周病,亦有可能因为扁桃腺结石,或因为吃了味浓的食物(如蒜头、洋葱、肉
  • 治疗指数治疗指数(therapeutic index,简称TI),也称为治疗比例(therapeutic ratio),是要治疗的物质产生治疗效果(英语:Therapeutic effect)需要的量相对于会产生毒性分量的比例。相关的词therap
  • 北非与撒哈拉以南非洲相对,北非即非洲大陆北部地区,习惯上为苏丹热带草原以北广大区域。联合国定义的“北非”,是指撒哈拉沙漠以北地区,包括埃及、利比亚、阿尔及利亚、突尼斯、摩洛
  • 耳部耳部,为汉字索引中的部首之一,康熙字典214个部首中的第一百二十八个(六划的则为第十一个)。就繁体和简体中文中,耳部归于六划部首。耳部以左、下方为部字。且无其他部首可用者将
  • 镀锌镀锌,是指在铁或钢表面上铺上金属锌的防锈(英语:Rustproofing)方法。锌是一种抗腐蚀性颇高的金属,能够把铁隔绝于氧气和水,令铁不能发生生锈所需的的化学反应;由于锌的金属活动性比
  • 0号元素无电子0主条目:0号元素的同位素0号元素(英语:Neutronium),有时又被称为中子元素(英语:Neutrium),是指原子中仅含中子,不含质子的一种元素,或纯粹只由中子组成的物质。1926年物理学家安