導覽
近期變更
隨機頁面
新手上路
新頁面
優質條目評選
繁體
不转换
简体
繁體
3.145.40.36
登入
工具
閱讀
檢視原始碼
特殊頁面
頁面資訊
求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。
檢視 类型 的原始碼
←
类型
前往:
導覽
、
搜尋
由於下列原因,您沒有權限進行 編輯此頁面 的動作:
您請求的操作只有這個群組的使用者能使用:
用戶
您可以檢視並複製此頁面的原始碼。
{{Infobox person | 姓名 = '''类型''' | 图像 = [[File:类型.png|缩略图||center|[http://www.cq.xinhuanet.com/2018-04/04/1122638432_15228260726301n.png 原图链接] [http://www.xinhuanet.com/webSkipping.htm 来自新华网]]] }} '''<big>类型</big>'''('''英語: type''' ),以及类型系统的起源以及研究与发展是独立于OOP的。早在五十年代的FORTRAN语言编译器实现中,就已经采用类型系统作为类型检查的一种手段。广义的类型一般被定义为一种约束,也就是一种逻辑公式。而在对类型的研究过程中产生多种方法,比如【C&W 1985】等。<ref>[https://www.360kuai.com/pc/9484e7d425d8698ef?cota=3&kuai_so=1&sign=360_57c3bbd1&refer_scene=so_1 恐惧症的三种类型]</ref> 而[[代数方法]](algebraic approach)是一种非常好的建立类型的形式化规范的方法。代数中的一个类型对应于一系列元素,在它们之上定义代数操作。同时在此基础上二阶λ演算已经被用于继承和模板所支持的模型。在上面两种方法中,类型被认为是一系列满足确定约束条件的元素,更抽象的方式可以把一个类型当作规定一个约束条件,如果我们规定的约束条件越好, 相对应的被定义元素的集合就越精密,所以[[逻辑公式]](logical formulas)就成为描述类型特征的最合适工具。在这里,我们不想深入的探究对于[[类型理论]]的各种不同的[[数学模型]],我们需要明白的是类型(type)以及类型理论这个在[[编程语言]]中经常应用到的概念的内涵是极其丰富的,而其自身理论的发展并非局限于OOP之中,但当两者相结合的时候就对我们的程序观产生了巨大的影响。
返回「
类型
」頁面