这意味着lp 是一个带有两个参数的函数，第一个是curr，第二个是一个列表，从逻辑上讲，它可能为空（[]）或至少包含一个元素（(a::l) 是一个列表的模式，其中a 位于头部，列表的其余部分为l）。
如果要将那段 FP 代码翻译成某种著名的命令式语言，它看起来像：
function lp(curr, lst) {
if (lst.length == 0) {
return curr;
} else {
var a = lst[0]; // first element
var l = lst.slice(1, lst.length); // the rest
if (gt(a, curr)) {
return lp(a, l);
} else {
return lp(curr, l)
}
}
}
相当拗口，但它是忠实的翻译。
函数式语言基于Lambda Calculus，其中函数只取一个值并返回一个结果。虽然 SML 和其他 FP 语言基于此理论，但在实践中相当不方便，因此其中许多语言允许您通过称为 Currying 的方式将多个参数传递给函数。
所以是的，在 ML 函数中实际上只取一个值，但柯里化可以让您模拟多个参数。
让我们创建一个名为add 的函数，它将两个数字相加：
fun add a b = a + b
应该这样做，但我们定义了 2 个参数。 add 的类型是什么？如果你看一下 REPL，它是val add = fn : int -> int -> int。其内容为，“add 是一个接受 int 并返回另一个函数的函数（接受一个 int 并返回一个 int）”
所以我们也可以这样定义add：
fun add a =
fn b => a + b
你会发现它们很相似。事实上，在某种程度上可以肯定地说，
前者是后者的语法糖。
因此，您在 ML 中定义的所有函数，即使是具有多个参数的函数，实际上都是具有一个参数的函数，它们返回接受第二个参数的函数，依此类推。一开始有点难以适应，但它
很快就会成为第二天性。
fun add a b = a + b (* add is of type int -> int -> int *)
add 1 2 (* returns 3 as you expect *)
(* calling add with only one parameter *)
val add1 = add 1
add1 是什么？这是一个函数，它会将1 添加到您传递给它的单个参数中！
add1 2 (* returns 3 *)
这是一个部分应用程序的例子，你正在调用一个函数，
一次一个参数，每次返回，另一个接受其余参数的函数
论据。
此外，还有另一种方法可以显示多个参数：元组：
(1, 2); (* evaluates to a tuple of (int,int) *)
fun add (a,b) = a + b;
add (1, 2) (* passing a SINGLE argument to a function that
expects only a single argument, a tuple of 2 numbers *)
在您的问题中，lp 可以也被实现为 lp (curr, someList):
fun max gt curr lst =
let fun lp (curr, []) = curr
| lp (curr, (a::l)) = if gt(a,curr) then lp (a, l)
else lp (curr, l)
in
lp (curr, lst)
end
请注意，在这种情况下，我们必须将max 声明为max gt curr lst！
在您发布的代码中，lp 显然是用柯里化实现的。和类型
max 本身就是 fn: ('a * 'a -> bool) -> 'a -> 'a list -> 'a。分开：
('a * 'a -> bool) -> (* passed to 'max' as 'gt' *)
'a -> (* passed to 'lp' as 'curr' *)
'a list -> (* passed to 'lp' as 'someList' *)
'a (* what 'lp' returns (same as what 'max' itself returns) *)
注意gt的类型，max的第一个参数：fn : (('a * 'a) -> bool) - 它是一个参数('a * 'a)的函数，一个元组两个'a，它返回一个'a。所以这里没有咖喱。
使用哪个是品味、惯例和实际考虑的问题。
希望这会有所帮助。