如果在ML中,递归数据类型的示例是:
datatype llist = Nil | Node of int * llist
什么是相互递归的数据类型,在ML中是什么样的？
types ml sml recursive-datastructures mutual-recursion
ml ×1
mutual-recursion ×1
recursive-datastructures ×1
sml ×1
types ×1