SML 包含使用字符串和字符列表

Question

我正在尝试将字符串与 SML 中的字符列表进行比较，使用 REPL 我有这个：

val alphabet = "abcdefghijklmnopqrstuvwxyz";
val charalphabet = explode alphabet;
val str = "the quick brown fox";
val res = Char.contains(str, charalphabet);

这会引发错误，因为我正在尝试将字符串与 Charlist 进行比较，并且 contains 仅将字符串与单个 Char 进行比较。有谁知道如何解决这个问题？我可以分解 String str 并比较 Char 列表，但是我不确定它们是否是一个函数。因此，如果有人对我可以阅读的函数或内容有任何想法，请告诉我，目标是查看字符串是否包含每个定义的字符列表。

我对 SML 非常陌生，因此非常感谢任何帮助！

Answer 1

您在Char.contains 的参数之间加上括号和逗号的方式表明您在理解Char.contains 之类的函数如何工作时遇到了一些困难。此类函数称为柯里化函数，如果您将它们视为两个变量的函数，会有些误导。

Char.contains 是string -> char -> bool 类型的函数。输入类型是字符串，输出类型是char -> bool 类型的函数。通常会立即评估此输出函数：

- Char.contains "cat" #"a";
val it = true : bool

看起来您正在评估 2 个变量的函数，但实际上您正在评估 1 个变量的 2 个函数：函数 Char.contains 在 "cat" 被评估以返回类型为 char -> bool 的函数后一个函数在#"a" 进行评估以获得最终结果。

请注意，可以使用Char.contains 返回一个没有立即评估的函数。例如：

val isVowel = Char.contains "aeiou";

这里isVowel是一个函数，可以用来检查一个（小写）字符是否是元音。

List.all 是 ('a -> bool) -> 'a list -> bool 类型的函数。要使用它来检查给定类型的列表（例如char）是否满足某个属性的所有元素，您需要向它传递一个函数，该函数接受该类型的元素并返回一个布尔值（例如@类型的函数987654336@;

但是——我们已经知道如何制造char -> bool 类型的函数：使用Char.contains。对于任何字符串 s ，Char.contains s 是一个可以传递给 List.all 的函数，然后将生成的函数应用于字母表中的字符列表：

val alphabet = explode "abcdefghijklmnopqrstuvwxyz";
fun isPanagram s = List.all (Char.contains s) alphabet;

Char.contains s 括在括号中的原因是因为函数求值是左关联的。如果没有括号，SML 会将其解析为 (List.all Char.contains) s，这毫无意义。