在计算机
编程语言,一个递归类型(也被称为递归定义,电感定义或感应数据类型)是一种数据类型,选择那些包含相同类型的其它值的值。递归类型的数据通常被视为
有向图。
在计算机
编程语言中,递归类型(又名:递归定义、隐含类型或隐含定义)是一种特殊的
数据类型,它表示自身内部可能包含其它的同样类型的值。
数据类型也可以通过相互递归来定义。最重要的基本示例是
树,可以根据森林(树木列表)相互递归地定义树。象征:
森林f由树木列表组成,而树木t由一对值v和森林f(其子)组成。这个定义是优雅的,并且易于抽象地工作(例如当证明有关树的属性的定理时),因为它用简单的术语表示树:一种类型的列表和一种两种类型的对。