新列表数据类型

Question

如何在ML中定义新数据类型，让我们假设newList，以便它可以包含元素'a（int，real等），嵌套列表的列表，例如： 如果我的类型'a是int，数值可能是：[1]，[1，[4]]，[1，[5]，[[5]]]等 提前感谢任何帮助

EDITED 对不起，没有1在这个例子中，我列出了不同的int列表，我把它删除了

Answer 1

你不行。列表中的所有元素必须是相同的类型。在你的例子中，一些元素是int类型，有些是int list。

您可以创建这样的树，但语法不是那么高兴:-)

datatype 'a multiList = Empty 
         | List of 'a multiList list 
         | E of 'a; 

val x = List [E 1, List [E 1, List [E 4]], List [E 1, List [E 5]]]; 

Answer 2

datatype 'a multiList = E of 'a 
         | List of 'a multiList list 

使用你的例子是：

List [E 1] 

List [E 1, List [E 4]] 

List [E 1, List [E 5], List [List [E 5]]]