Как я могу преобразовать свой тип данных?

Question

Я определяю тип данных для нескольких списков: datatype intnest= INT of int | LIST of intnest list; Теперь я пытаюсь написать функцию, которая может преобразовать этот тип в основной тип.

например: [INT 1, INT 2, LIST[INT 6, INT 8]] => [1,2, [6,8]] как я могу это сделать? Заранее благодарю за помощь

Answer 1

С ссылкой на your previous question вы не можете!

Как я и пытался объяснить: это невозможно в SML!

Просто попробовать его в вашем интерпретатором

- val _ = [1,2, [6,8]]; 
stdIn:28.9-28.21 Error: operator and operand don't agree [literal] 
    operator domain: int * int list 
    operand:   int * int list list 
    in expression: 
    2 :: (6 :: 8 :: nil) :: nil 

Если мы строим список с основными конструкциями вместо синтаксического сахара, то список [1,2,3] становится 1 :: 2 :: 3 :: nil

Теперь, если мы посмотрим на типы двух «строительных блоков» минус и ноль

- op::; 
val it = fn : 'a * 'a list -> 'a list 
- nil; 
val it = [] : 'a list 

затем мы видим, что оператор infix cons принимает аргумент типа 'a с левой стороны и список 'a с правой стороны.
Таким образом, мы можем видеть, что если мы построим список ints, тогда мы должны дать ему int с левой стороны и список ints с правой стороны (в качестве примера выше). Должно быть ясно, что мы не можем ни к чему, как это:

[1, 2] :: 3 :: nil 

, которая эквивалентна (1 :: 2 :: nil) :: 3 :: nil