SML Содержит используя строку и Charlist

Question

Я пытаюсь сравнить строку с Charlist в SML, используя REPL у меня есть это:

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

Это выдает ошибку, потому что я пытаюсь сравнить строку с Charlist, и содержит только сравнение String с одним Char. Кто-нибудь есть идеи, как обойти это? Я мог бы взорвать String str и сравнить списки Char, но я не уверен, что их функция для этого. Поэтому, если у кого-нибудь есть идеи о функциях или вещах, которые я могу прочитать, пожалуйста, дайте мне знать, цель состоит в том, чтобы увидеть, содержит ли String определенный Charlist.

Я чрезвычайно новичок в SML, поэтому любая помощь очень ценится!

Answer 1

Способ, которым вы помещаете круглые скобки и помещаете запятую между аргументами Char.contains, предполагает, что у вас возникли проблемы с пониманием того, как работают функции Char.contains. Такие функции называются карри-функциями, и это несколько вводит в заблуждение, если вы думаете о них как функции двух переменных.

Char.contains является функцией типа string -> char -> bool. Тип ввода - это строка, а ее тип вывода - это функция типа char -> bool. Чаще всего эта функция выхода мгновенно оценивается:

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

Что может выглядеть, как вы оцениваете функцию 2-х переменных, но в действительности вы оцениваете 2 функции 1 переменной: функции Char.contains является evalauted на "cat" для возврата функции типа char -> bool, и эта последняя функция оценивается как #"a", чтобы получить окончательный результат.

Обратите внимание, что можно использовать Char.contains для возврата функции, которую не является сразу же оценивается. Например:

val isVowel = Char.contains "aeiou"; 

isVowel Вот это функция, которая может быть использована для проверки, если (в нижнем регистре) символ является гласной.

List.all является функцией типа ('a -> bool) -> 'a list -> bool. Чтобы использовать его, чтобы проверить, удовлетворяют ли все элементы, если список заданного типа (например, char) удовлетворяют свойству, вам необходимо передать ему функцию, которая принимает элементы этого типа и возвращает логическое значение (например, функцию типа char -> bool;

Но - мы уже знаем, как производить функции типа 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, что не имеет смысла.