第6章 递归类型 递归定义的类型的例子 自然数表的类型 类型等式t兰wnit+(nat×t)的一个解 二叉树的类型 类型等式t兰wnit+(t×t)的一个解 使用“兰”表示解是要使两边同构，而不是相等 归纳类型对应到上述类型同构等式的初始解 例：自然数类型 余归纳类型对应到它们的终结解 例：自然数流类型第6章 递归类型 • 递归定义的类型的例子 – 自然数表的类型 类型等式 t  unit + (nat  t)的一个解 – 二叉树的类型 类型等式 t  unit + (t  t)的一个解 使用“ ”表示解是要使两边同构，而不是相等 归纳类型对应到上述类型同构等式的初始解 例：自然数类型 余归纳类型对应到它们的终结解 例：自然数流类型