术语“数据类型”的详细信息
| 数据项 Items | 术语信息 Info. |
|---|---|
| 汉语术语编号 Term No. | 87000063 |
| 所属学科 Subject | 图书情报学 Library Science & Information Science |
| 汉语术语词性 POS | n. |
| 汉语术语分词 Segmentation | 数据/类型/ |
| 汉语术语长度 Length | 2 |
| 关联术语表达 Association | 大数据 |
| 搭配信息 Collocation | 范畴数据类型 有限数据类型 |
| 编纂人 Compiler | 杨娜 |
| 编纂日期 Date of Compilation | 2015-09-05 00:00:00 |
汉英语境1
英译术语:
data type
汉语语境:
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主，采用代数从归纳的角度研究有限数据类型的构造语义和递归性质。
英语语境:
Categorical data type refers to using the category theory as the mathematical foundation for the study of the description, computation, semantics and application of data types. The earlier work focuses on inductive data type and uses algebras to describe the construction semantics and recursive properties of finite data type from the inductive perspective.