最新文章专题视频专题问答1问答10问答100问答1000问答2000关键字专题1关键字专题50关键字专题500关键字专题1500TAG最新视频文章推荐1 推荐3 推荐5 推荐7 推荐9 推荐11 推荐13 推荐15 推荐17 推荐19 推荐21 推荐23 推荐25 推荐27 推荐29 推荐31 推荐33 推荐35 推荐37视频文章20视频文章30视频文章40视频文章50视频文章60 视频文章70视频文章80视频文章90视频文章100视频文章120视频文章140 视频2关键字专题关键字专题tag2tag3文章专题文章专题2文章索引1文章索引2文章索引3文章索引4文章索引5123456789101112131415文章专题3
当前位置: 首页 - 教育 - 知识百科 - 正文

类型解释是什么

来源:动视网 责编:小OO 时间:2023-07-15 01:17:59
文档

类型解释是什么

1、类型的解释是:类型lèixíng。1. 由各特殊的事物或现象抽出来的共通点。2. 逻辑演算中关于主目的不可兼的分类谱系之一。类型[lèixíng]⒈由各特殊的事物或现象抽出来的共通点。英type;pattern;⒉逻辑演算中关于主目的不可兼的分类谱系之一。
推荐度:
导读1、类型的解释是:类型lèixíng。1. 由各特殊的事物或现象抽出来的共通点。2. 逻辑演算中关于主目的不可兼的分类谱系之一。类型[lèixíng]⒈由各特殊的事物或现象抽出来的共通点。英type;pattern;⒉逻辑演算中关于主目的不可兼的分类谱系之一。


类型的解释是:类型lèixíng。1.?由各特殊的事物或现象抽出来的共通点。2.?逻辑演算中关于主目的不可兼的分类谱系之一。类型[lèixíng]⒈由各特殊的事物或现象抽出来的共通点。英type;pattern;⒉逻辑演算中关于主目的不可兼的分类谱系之一。

类型的具体解释是什么呢,我们通过以下几个方面为您介绍:

一、基础解释    【点此查看类型详细内容】

(名)具有某些共同性质和特征的事物所形成的种类:本厂生产多种~的牙膏。[近]种类。

二、网络解释

类型(技术名词)类型(type)以及类型系统的起源以及研究与发展是于OOP的。早在五十年代的FORTRAN语言编译器实现中,就已经采用类型系统作为类型检查的一种手段。广义的类型一般被定义为一种约束,也就是一种逻辑公式。而在对类型的研究过程中产生多种方法,比如【C&W1985】等。而代数方法(algebraicapproach)是一种非常好的建立类型的形式化规范的方法。代数中的一个类型对应于一系列元素,在它们之上定义代数操作。同时在此基础上二阶λ演算已经被用于继承和模板所支持的模型。在上面两种方法中,类型被认为是一系列满足确定约束条件的元素,更抽象的方式可以把一个类型当作规定一个约束条件,如果我们规定的约束条件越好,相对应的被定义元素的集合就越精密,所以逻辑公式(logicalformulas)就成为描述类型特征的最合适工具。在这里,我们不想深入的探究对于类型理论的各种不同的数学模型,我们需要明白的是类型(type)以及类型理论这个在编程语言中经常应用到的概念的内涵是极其丰富的,而其自身理论的发展并非局限于OOP之中,但当两者相结合的时候就对我们的程序观产生了巨大的影响。

三、汉语大词典

(1).具有共同特征的事物所形成的种类。《〈艾青诗选〉自序》:“我和同我差不多年纪的人们一样,渡过了各种类型、不同性质的战争;也遇见了各种类型、不同性质的敌人。”(2).指文学作品中具有某些共同或类似特征的人物形象。鲁迅《〈伪自由书〉前记》:“然而我的坏处,是在论时事不留面子,砭锢弊常取类型。”

四、其他释义

具有共同特征的事物所形成的种类。

五、关于类型的英语

valueOf  idiom type  set type  ilk  typing  types of insurance  

六、关于类型的法语

type  modèle  

点此查看更多关于类型的详细信息

文档

类型解释是什么

1、类型的解释是:类型lèixíng。1. 由各特殊的事物或现象抽出来的共通点。2. 逻辑演算中关于主目的不可兼的分类谱系之一。类型[lèixíng]⒈由各特殊的事物或现象抽出来的共通点。英type;pattern;⒉逻辑演算中关于主目的不可兼的分类谱系之一。
推荐度:
  • 热门焦点

最新推荐

猜你喜欢

热门推荐

专题
Top