новый тип данных списка

Question

как я могу определить новый тип данных в ML, давайте предположим, что newList может состоять из списков элементов 'a (int, real и т. Д.), Например, вложенных списков: если мой тип' a равен intзначения могут быть: [1], [1, [4]], [1, [5], [[5]]] и т. д. Заранее благодарим за любую помощь* извините без 1 в примере, разные списки int, я удалил его

Answer 1

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]]]

Answer 2

Вы не можете. Все элементы в списке должны быть одного типа. В вашем примере некоторые элементы имеют тип 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]]];