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

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

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

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

Использование ListPair.foldr для реализации zipWith в SML

Справочная информация: начальный уровень в SML Мое назначение требует, чтобы я использовал ListPair.foldr и только эту функцию для реализации функции zipWith. ListPair.foldr : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c zipWith : ('a ...

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

Почему следующий код не работает? fun sum_list xs = case xs of [] => NONE | x::xs' => SOME (x+sum_list xs')Этот код хорошо работает, когда вместо NONE он равен нулю и когда я удаляю НЕКОТОРЫЕ. Я знаю, что для суммы пустого списка ноль - это ...

Предупреждение 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.NET есть функторы, почему нельзя использовать F #?

Этот вопрос начался с Мой перевод "ML для работающего программиста [http://www.cl.cam.ac.uk/~lp15/MLbook/]"(WorldCat [http://www.worldcat.org/oclc/26013714]) Л. С. ПОЛСОНА к F #, который использует функторы для примеров.Конечное желание ...

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

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

SML не обнаруживает ОС на OS X Mavericks

Я не смог запустить SMLNJ на Mavericks. Это показывает мне ошибку. sml: unable to determine architecture/operating systemЯ также посмотрел в файле / usr / local / smlnj / config / _arch-n-opsys и там упоминается Mavericks. 13*) OPSYS=darwin; ...

Каковы пределы вывода типа?

Каковы пределы вывода типа?

Каковы пределы вывода типа? Какие системы типов не имеют общего алгоритма вывода?