Результаты поиска по запросу "sml"
Итерация по нескольким спискам в SML
У меня есть два списка в SML, скажем, список A
Подсказка для вывода типа SML
Я новичок в SML и пытаюсь попрактиковаться в справочнике типов SML. Я пытаюсь вычесть следующие типы:
Каковы пределы вывода типа?
Каковы пределы вывода типа? Какие системы типов не имеют общего алгоритма вывода?
Если в SML.NET есть функторы, почему нельзя использовать F #?
Этот вопрос начался сМой перевод "ML для работающего программиста »(WorldCat) Л. С. ПОЛСОНА к F #, который использует функторы для примеров.Возможное же...
В общем, руководство пользователя содержит несколько хороших примеров и объяснений.
ужно создать новый экземплярlexer привязан к стандартному потоку ввода. Тем не менее, когда я набираю val lexer = makeLexer( fn n => inputLine( stdIn ) );Я получаю ошибку, которую не понимаю: stdIn:1.5-11.13 Error: operator and operand don't ...
SML Как проверить тип переменной?
Есть ли способ проверить / проверить тип переменной?Я хочу использовать это так:
SML Как определить правильный вариант
Почему нетт следующий код нет работаешь?
Предупреждение 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 ...
Использование ListPair.foldr для реализации zipWith в SML
Справочная информация: начальный уровень в SML Мое назначение требует, чтобы я использовал ListPair.foldr и только эту функцию для реализации функции zipWith. ListPair.foldr : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c zipWith : ('a ...
Как сделать побитовое И в SML / NJ?
Это нужно для программы, которую я пишу (повторное возведение в квадрат для вычисления x ^ n). Я не могу найти синтаксис для него, или если он даже поддержив...