SML/NJ - 模式匹配动态类型

Question

是否可以编写具有动态类型输入参数的函数？ 我尝试过模式匹配，但显然它不能像这样工作。

我想做这样的事情：

fun firstStr (0,n:string) = n
  | firstStr (b:string,n:string) = if b>n then n else b;

谢谢。

Answer 1

StandardML 是一种严格的静态类型语言。因此，不能有一个函数在第一种情况下接受 int，在第二种情况下接受字符串。你得到的错误是

this clause:        string * string -> 'Z
previous clauses:      int * string -> 'Z
in declaration:
  firstStr =
    (fn (0,<pat> : string) => n
      | (<pat> : string,<pat> : string) => if <exp> > <exp> then n else b)

如果你想要一种情况是字符串和一种情况是整数，你可以创建一种新类型，即“标记联合"（又名“可区分联合”），其设计目的是易于与模式匹配一​​起使用。它看起来像这样：

datatype Wrapper = Int    of int
                 | String of string
fun firstStr(Int 0,    n:string) = n
  | firstStr(String b, n:string) = if b>n then n else b

当然，您可能想为这个包装类型找到一些更合适的名称，一些在您的程序上下文中有意义的名称。另请注意，n 上的类型注释并不是真正必要的；更惯用的写法是

fun firstStr(Int 0,    n) = n
  | firstStr(String b, n) = if b>n then n else b

： 另外，编译器会告诉你有一个未发现的情况：如果第一个参数是不等于零的整数怎么办？

最后，不太清楚比较 b>n 的含义，您想比较两个字符串的哪些方面？我发现当我在 SML 中比较两个字符串时，我看到了字典顺序（也称为字母顺序）比较。这就是你想要的吗？

Answer 2

详细一点，假设你有两个参数，每个参数都可以是一个字符串或一个整数，如果你有两个字符串，你想要字典顺序上较小的字符串，如果你有一个字符串，你想要那个字符串，如果你有两个整数不能返回字符串。你做什么工作？返回 string option 类型的值（在 http://www.standardml.org/Basis/option.html)：

datatype string_or_int = String of string
                       | Int    of int 

fun firstStr(String a, String b) = SOME (if a < b then a else b)
  | firstStr(String a, Int _   ) = SOME a
  | firstStr(Int _,    String b) = SOME b
  | firstStr(Int _,    Int _   ) = NONE

函数 firstStr 有类型

string_or_int * string_or_int -> string option

成为熟练的 ML 程序员的最快方法是首先学会考虑类型。例如，如果您真正想要的是 string option * string -> 类型的函数string，你不需要自己写；内置函数 getOpt 可以做到这一点。另一方面，听起来您想要 string option * string -> string，因此您可以编写

fun firstStr(SOME a, b) = if a < b then a else b
  | firstStr(NONE,   b) = b

并且不需要结果上的 SOME 值构造函数或 option 类型。

Answer 3

OCaml 中的多态变体具有更多动态属性你正在寻找。如果你愿意的话可以看一下，OCaml 和 SML 是非常接近的语言。