代数数据类型
代数数据类型（英語：Algebraic data type，缩写：ADT）是一种复合类型，指由其他資料類型组合而成的类型，在電腦编程中，尤其是函数式编程和类型论中應用。 两类常见的代数类型是积类型（即元组和记录）与和类型（即标签联合） 。[1] 一个积类型的值通常包含多个值，即字段。该类型的所有值都有相同的字段类型组合。一个积类型的所有可能值的集合是其字段类型的所有可能值的集合的集合论乘积，即笛卡尔积。 一个和类型的值通常被分组为多个类别，即变体。一个变体类型的值通常是用一个叫做构造器的准功能实体创建的。每个变体都有自己的构造函数，它接受指定数量的参数，并具有指定的类型。和类型的所有可能值的集合是其变体的所有可能值的集合的集合论之和，即不相连的联合。枚举类型是和类型的一个特例，其中构造函数不需要参数，因为每个构造函数只定义一个值。 代数类型的值是用模式匹配来分析的，它通过构造函数或字段名来识别一个值，并提取它所包含的数据。 代数数据类型被引入到Hope中。Hope是一个20世纪70年代在爱丁堡大学开发的小型函数式编程语言。[2] 支持代数数据类型的编程语言许多编程语言将代数数据类型作为一等类型概念，包括：
参考文献
|
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
Portal di Ensiklopedia Dunia
