functional-programming - 这被认为是 curry 函数吗？

Question

我对柯里化(Currying)还是有点困惑-

我在 SML 中实现了 map，这是否被视为柯里化(Currying)函数？

fun mymap f xs = List.foldr (fn (x, l) => (f x)::l) [] xs;

或者我是否需要更明确地强制执行单个参数传递？

fun mymap f = (fn xs => List.foldr (fn (x, l) => (f x)::l) [] xs);

Answer 1

是的，这两个函数都是柯里化(Currying)的。事实上，第一个函数是第二个函数的简写。