SML：使用高阶函数 foldr 反转列表

Question

我尝试使用 foldr 来反转如下列表

fun rev(l) = foldr (a b => b ++ [a]) [] l;

但我收到错误：stdIn:4.25 错误：在 DARROW 发现语法错误

谁能帮忙指出错误？代码正确吗？

谢谢。

Answer 1

1. 抛出 DARROW 错误是因为 lambda 表达式应该以 fn 开头。
2. Foldr 得到一个元组，所以 lambda 表达式应该以 fn (a,b) 开头
3. ++ 是 Haskell 中的 concat 运算符。在 SML 中是 @

总结如下：

fun rev(l) = foldr (fn (a,b) => b @ [a]) [] l;

这确实颠倒了一个列表！