意思解释:词语解释 类型 [ lèi xíng ] ⒈ 由各特殊的事物或现象抽出来的共通点。 英 type; pattern; ⒉ 逻辑演算中关于主目的不可兼的分类谱系之一。 引证解释 ⒈ 具有共同特征的事物所形成的种类。 引 《<艾青诗选>自序》:“我和同我差不多年纪的人们一样,渡过了各种类型、不同性质的战争;也遇见了各种类型、不同性质的敌人。” ⒉ 指文学作品中具有某些共同或类似特征的人物形象。 引 鲁迅 《<伪自由书>前记》:“然而我的坏处,是在论时事不留面子,砭锢弊常取类型。” 国语辞典 类型 [ lèi xíng ] ⒈ 由各种具有共同特征的事物或现象所形成的种类。 例 如:「由于每个导演的创作意念各有不同,因而电影的类型也就有了多元化的发展。」
意思解释:类型 (技术名词)类型(type)以及类型系统的起源以及研究与发展是独立于OOP的。早在五十年代的FORTRAN语言编译器实现中,就已经采用类型系统作为类型检查的一种手段。广义的类型一般被定义为一种约束,也就是一种逻辑公式。而在对类型的研究过程中产生多种方法,比如【CW 1985】等。而代数方法(algebraic approach)是一种非常好的建立类型的形式化规范的方法。代数中的一个类型对应于一系列元素,在它们之上定义代数操作。同时在此基础上二阶λ演算已经被用于继承和模板所支持的模型。在上面两种方法中,类型被认为是一系列满足确定约束条件的元素,更抽象的方式可以把一个类型当作规定一个约束条件,如果我们规定的约束条件越好,相对应的被定义元素的集合就越精密,所以逻辑公式(logical formulas)就成为描述类型特征的最合适工具。
本站部份资料来自网络或由网友提供,如有问题请速与我们联系,我们将立即处理!
Copyright © 2020-2024 SEO学习论坛yanshi.heimaoxuexi.net All Rights Reserved 浙ICP备20212233号
免责声明:本站非营利性站点,以方便网友为主,仅供学习。✈@tiangong2018
升级版镜像养站功能展示
2025年全新升级,绝非烂大街易K站那种!独家原创完美符合SEO要求。