递归数据类型 - 维基百科（中文）镜像

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

递归数据类型

点击查看词条快照

在计算机编程语言中，递归类型（又名：递归定义、隐含类型或隐含定义）是一种特殊的数据类型，它表示自身内部可能包含其它的同样类型的值。范例. 以下是一个在Haskell中使用链表类型的一个列子： data List a = Nil | Cons a (List a) 这表示a的链表s可以是一个空表或一个cons单元包含了一个'a'（链表的“头”）和另一个链表（“尾”）。递归不允许在Miranda语言中和Haskell的同义类型中出现，所以以下的Haskell类型是非法的： type Bad = (Int, Bad) type Evil = Bool -> Evil 相反地，表面上是相等的代数数据类型却是可以的： data Good = Pair Int Good data Fine = Fun (Bool->Fine) 本条目部分或全部内容出自以GFDL授权发布的《自由线上电脑词典》（FOLDOC）。

武姓

不完全类型

班图斯坦

惰性求值

维基媒体国际会议

日本职棒金手套奖 (中央联盟)

金田起义

大礼议

莫里斯的情人

荣星花园公园

工党 (台湾)

高砂义勇队