Заявления случая и сопоставление с образцом

Я пишу в SML для выполнения задания, выполнил несколько практических задач и чувствую, что что-то упустил - мне кажется, что я использую слишком многоcase заявления. Вот то, что я делаю, и постановки проблем, с которыми у меня возникают ...

Тип переменной, которая будет объединена, встречается в типе

Частичная сумма в стандарте ML?

Я новичок в функциональном программировании, и у меня есть задание для вычисления частичной суммы списка. Например. - псум [1,1,1,1,1]; val it = [1,2,3,4,5]: int list Вот мой код до сих пор. Однако в функции psum2 [L] я не знаю, как ...

SML Как определить правильный вариант

Почему нетт следующий код нет работаешь?

Как «исправить» интерактивную систему SML / NJ для использования клавиш со стрелками

У меня возникли некоторые проблемы с использованием интерактивной системы SML / NJ, а именно: когда я пытаюсь использовать клавиши со стрелками (влево или вправо, чтобы внести исправление в набранное выражение, вверх, чтобы повторить последнее ...

SML Как проверить тип переменной?

Есть ли способ проверить / проверить тип переменной?Я хочу использовать это так:

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

Я знаю, что точки с запятой используются в качестве терминаторов в REPL. Но я не понимаю, когда использовать их в исходном файле. Например это не нужно послеval x = 1, Но если я опущу это послеuse "foo.sml"Компилятор пожалуется на это. Тогда ...

В общем, руководство пользователя содержит несколько хороших примеров и объяснений.

ужно создать новый экземплярlexer привязан к стандартному потоку ввода. Тем не менее, когда я набираю val lexer = makeLexer( fn n => inputLine( stdIn ) );Я получаю ошибку, которую не понимаю: stdIn:1.5-11.13 Error: operator and operand don't ...

Предупреждение 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 ...

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