递归类型：一种在自身定义中引用自身的类型，用来表示可能“无限展开”的结构，但通常以有限的描述来定义（例如链表、树、嵌套的表达式语法树等）。在编程语言与类型系统中，它常用于刻画自相似的数据结构。
（在不同语境下也可能涉及“递归类型的等价/展开、μ-types”等更形式化含义。）
/rɪˈkɝːsɪv taɪp/
A list is often modeled as a recursive type.
列表通常被建模为一种递归类型。
In many functional languages, recursive types make it possible to define trees and nested expressions in a precise and reusable way.
在许多函数式语言中，递归类型使得以精确且可复用的方式定义树结构和嵌套表达式成为可能。
recursive 来自 recursion（递归），源于拉丁语 recurrere（“跑回去、返回”），引申为“反复回到自身/自我引用”的概念；type 来自希腊语 typos（“印记、模型”），在语言学与计算机科学中指“类别/类型”。合起来 recursive type 即“自我引用定义的类型”。
Select Language