Результаты поиска по запросу "sml"
Частичная сумма в стандарте ML?
Я новичок в функциональном программировании, и у меня есть задание для вычисления частичной суммы списка. Например. - псум [1,1,1,1,1]; val it = [1,2,3,4,5]: int list Вот мой код до сих пор. Однако в функции psum2 [L] я не знаю, как ...
Что означает подпись этой функции в sml?
Я просматриваю некоторые заметки, которые дал мой профессор относительно языка SML, и одна из функций выглядит следующим образом: fun max gt = let fun lp curr [] = curr | lp curr (a::l) = if gt(a,curr) then lp a l else lp curr l in lp endМожет ...
Использование 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 #, который использует функторы для примеров.Конечное желание ...
что такое взаимно рекурсивный тип?
Если в ML, пример рекурсивного типа данных: datatype llist = Nil | Node of int * llistЧто такое взаимно рекурсивный тип данных и каков его пример в ML?
Как установить рабочую версию Standard ML на Mac?
Я использую Mac OSX 10.7.5 и не могу загрузить работающий компилятор Standard ML с доступным REPL. Это должно быть так сложно? Есть ли лучший ML, который я должен скачать. Я пробовал SML / NJ и MLton безрезультатно.
Хвост-рекурсия по деревьям
У меня есть структура данных, datatype 'a tree = Leaf | Branch of 'a tree * 'a * 'a treeи я хочу написать функцию, которая пересекает это дерево в некотором порядке. Неважно, что он делает, так что это может бытьtreefold : ('a * 'b -> 'b) -> 'b ...
Как «исправить» интерактивную систему SML / NJ для использования клавиш со стрелками
У меня возникли некоторые проблемы с использованием интерактивной системы SML / NJ, а именно: когда я пытаюсь использовать клавиши со стрелками (влево или вправо, чтобы внести исправление в набранное выражение, вверх, чтобы повторить последнее ...