e/Dependent type

Information
has gloss	eng: In computer science and logic, a dependent type is a type that depends on a value. Dependent types play a central role in intuitionistic type theory and in the design of experimental functional programming languages like Dependent ML, Agda and Epigram.
lexicalization	eng: dependent type
instance of	c/Dependently-typed formal languages

Meaning
Chinese
has gloss	zho: 在计算机科学和逻辑中，依存类型是依存於值的类型。依存类型在直觉类型论和实验性的函数式编程语言如 Dependent ML 或 Epigram 的设计中扮演了关键性角色。
lexicalization	zho: 依赖类型