4,620
次編輯
變更
类型
,無編輯摘要
[[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)是一种非常好的建立类型的形式化规范的方法。代数中的一个类型对应于一系列元素，在它们之上定义代数操作。同时在此基础上二阶λ演算已经被用于继承和模板所支持的模型。在上面两种方法中，类型被认为是一系列满足确定约束条件的元素，更抽象的方式可以把一个类型当作规定一个约束条件，如果我们规定的约束条件越好，