Предупреждение SML: Тип Vars не обобщен при использовании пустых списков или опции NONE

Я не могу понять, почему следующая функция SML выдает предупреждение в моей задаче: fun my_func f ls = case ls of [] => raise MyException | head :: rest => case f head of SOME v => v | NONE => my_func f rest fun f a = if isSome a then a ...

Что означает подпись этой функции в sml?

Я просматриваю некоторые заметки, которые дал мой профессор относительно языка SML, и одна из функций выглядит следующим образом:

Как насчет чего-то вроде этого:

я есть этот код SML / NJ, который читает одну строку из текстового файла, а затем возвращает мне список, но у меня возникают проблемы с тем, чтобы он делал то же самое с каждой отдельной строкой и останавливался, когда строк больше нет. Может ли ...

Подавить вывод «val it» в стандарте ML

Невозможно определить ОС

Когда я иду на терминал (я установил smlnj) и я печатаю

SMLNJ расширить # в выводе

У меня есть следующее:

Когда использовать точку с запятой в SML?

Я знаю, что точки с запятой используются в качестве терминаторов в REPL. Но я'Я не понимаю, когда использовать их в исходном файле.Например это не нужно ...

Как установить рабочую версию Standard ML на Mac?

я использую Mac OSX 10.7.5 и могуКажется, не получается загрузить работающий компилятор Standard ML с доступным REPL. Это должно быть так сложно? Есть ли луч...

Алгоритм Хорнера в SML? [закрыто]

Несколько паттернов в 1 случае