我想制作一个反转 mylist 值的函数。我编写了代码,但它不起作用,我将不胜感激任何提示或帮助。
数据类型代码:
datatype 'element mylist =
NIL
| CONS 'element * 'element mylist;
我写的函数是:
fun reverse NIL = NIL
| reverse (CONS(x, xs)) = CONS((reverse xs), x);
我还想编写一个附加 2 个 mylist 值的函数,我有一些情况,但它没有用,我虽然如下:
fun append NIL = fn NIL => NIL
| append NIL = fn (CONS(x, xs)) => CONS(x, xs)
| append (CONS(x, xs)) = fn NIL => CONS(x, xs)
| append (CONS(x, xs)) = fn (CONS(y, ys)) => append xs (CONS(y, ys));
但它不起作用,给我错误,我的代码有什么问题?
谢谢