sml - 我可以用中缀运算符折叠而不写出匿名函数吗？

Question

如果我想添加一个列表，我可以这样做：

- List.foldr (fn (x, y) => x + y) 0 [1, 2, 3]
val it = 6 : int

有没有办法写更多的东西：

List.foldr + 0 [1, 2, 3]

我试过这样的事情：

fun inf2f op = fn (x, y) => x op y;

Answer 1

你很近。op在第二个示例中添加关键字。

- List.foldr op + 0 [1,2,3];
val it = 6 : int