词语繁体:依賴類型
词语读音:yī lài lèi xíng
首字拼音:Yi
词语拼音:yi lai lei xing
词语简拼:YLLX
词语结构:ABCD式词语
词语字数:四字词语
在计算机科学和逻辑中,依赖类型(或依存类型,dependent type)是指依赖于值的类型,其理论同时包含了数学基础中的类型论和计算机编程中用以减少程序错误的类型系统两方面。在 Per Martin-Löf 的直觉类型论中,依赖类型可对应于谓词逻辑中的全称量词和存在量词;在依赖类型函数式编程语言如 ATS、Agda、Dependent ML、Epigram、F* 和 Idris 中,依赖类型系统通过极其丰富的类型表达能力使得程序规范得以借助类型的形式被检查,从而有效减少程序错误。
【依的意思】:依 yī(一) (一)、靠,仗赖:依靠。依傍(a.依靠;b.摹仿,多指艺术、学问)。依恋 详情>
【赖的意思】:赖(賴) lài(ㄌㄞˋ) (一)、倚靠,仗恃:依赖。仰赖。百无聊赖(精神上无所寄托,感到什么都没意 详情>
【类的意思】:类(類) lèi(ㄌㄟˋ) (一)、很多相似事物的综合:种类。类群。类别。类书。分类。人类。(二)、 详情>
【型的意思】:型 xíng(ㄒ一ㄥˊ) (一)、铸造器物用的模子:砂型。型砂(制造砂型的材料)。(二)、样式:类型 详情>
友情链接:姓名测试