在计算机编程语言中，递归类型（又名：递归定义、隐含类型或隐含定义）是一种特殊的数据类型，它表示自身内部可能包含其它的同样类型的值。

以下是一个在Haskell中使用链表类型的一个列子：

这表示a的链表s可以是一个空表或一个cons单元包含了一个'a'（链表的“头”）和另一个链表（“尾”）。

递归不允许在Miranda语言中和Haskell的同义类型中出现，所以以下的Haskell类型是非法的：

相反地，表面上是相等的代数数据类型却是可以的：

本条目部分或全部内容出自以GFDL授权发布的《自由在线电脑词典》（FOLDOC）。

In computer programming languages, a recursive data type (also known as a recursively-defined, inductively-defined or inductive data type) is a data type for values that may contain other values of the same type. Data of recursive types are usually viewed as directed graphs.