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

あなたは近くにいます。op2番目の例でキーワードを追加します。

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