如何反转 SML 中的自定义列表？

Question

我的自定义数据类型定义如下： datatype 'a mylist = NIL | CONS of 'a * 'a mylist; 'a mylist = NIL | CONS of 'a * 'a mylist;

已经尝试了几个小时，但无法弄清楚如何反转这样的列表。

我的代码不起作用：

fun reverse NIL = NIL
| reverse (CONS(head,tail)) = reverse tail @ [head];

这是 function 调用：

reverse (CONS(4,CONS(3,CONS(2,NIL))));

Answer 1

您不能将内置 append ( @ ) 和列表 ( [head] ) 与您自己的列表类型一起使用。

您需要CONS (head, NIL)而不是[head] ，并且您需要编写自己的

append: 'a mylist -> 'a mylist -> 'a mylist

或者

append: ('a mylist * 'a mylist) -> 'a mylist

实施append作为练习。

Answer 2

使用 append 算子将增加此解决方案的时间复杂度。 我会改为使用帮助程序 function 来执行尾递归调用，从而以类似堆栈的方式反转列表。

例如

fun reverse xs =
let
  fun revhelp NIL ys = ys
    | revhelp (CONS(x,xs)) ys = revhelp xs (CONS(x,ys))
in
  revhelp xs NIL
end;