algebraic data types
这一次我想说的是代数数据类型（Algebraic Data Type）。 代数数据类型（ADT） 在函数式编程，尤其是静态类型的 FP 语言中很常见，它是一种组合已有类型形成新类型的方式。
基于86个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.
youdao
应用推荐
模块上移
模块下移
不移动