如何在柯里化函数中使用指定数据类型？

Question

我正在尝试在 SMLNJ 中创建一个柯里化函数，将 (string * bool) 对附加到列表中。我可以这样做：

fun push L a b = (a,b) :: L;
-val push = fn : ('a * 'b) list -> 'a -> 'b -> ('a * 'b) list

这行得通，但我想要一个只接受 (string * bool) 列表、字符串和 bool 的函数。我不知道怎么写函数签名。

Answer 1

在函数定义中添加显式类型注解就足够了：

fun push L a b = (a:string,b:bool) :: L;

推断的类型是

val push = fn : (string * bool) list -> string -> bool -> (string * bool) list

话虽如此——我不喜欢不必要地减少多态函数的多态性。刚性类型检查不需要在实用函数级别。