Описание тега sml
Стандартный ML - это функциональный язык высокого уровня с выводом типов.
2
ответа
SML/NJ - связанный список, который может содержать любые типы
Я пытаюсь создать тип данных для связанного списка, который может содержать все типы одновременно, то есть связанный список элементов void *, разработка заключается в создании Node тип данных, который содержит запись, содержит Value а также Next, То…
25 фев '13 в 22:54
2
ответа
Как я могу реализовать multiFilter со списком типов данных в ML
datatype 'a Multilist = Node of 'a list | List of 'a Multilist list; fun isGreaterThen x y = y > x; fun multiFilter f (List([])) = [] | multiFilter f (List(m::multil)) = let fun flattenAuxiliray(Node(value)) = if (f value = true) then (value) els…
29 авг '15 в 19:52
1
ответ
Как скомпилировать SML, используя SMLNJ, когда код находится в Notepad++?
Я совершенно новичок в SML и понятия не имею, как работать с чем-либо, связанным с ним. Я должен использовать компилятор SMLNJ, и в настоящее время я пишу с помощью Notepad++. Но как мне точно скомпилировать программу? Копировать и вставить код в ко…
21 мар '16 в 07:55
2
ответа
smlnj как перебрать значение
Я новичок в функциональном программировании, но у меня есть опыт в императивном программировании, особенно на Java. я хотел бы спросить, как значение повторяется в smlnj, я знаю, что на Java вы можете использовать varName += anyNumber или varName = …
17 апр '17 в 13:07
1
ответ
Более простой способ создания таблицы истинности
Я хочу создать список списков в SML, который представляет таблицу истинности в следующей форме: Example: [ [("r",true),("p",true),("q",true)], [("r",false),("p",false),("q",true)], [("r",false),("p",true),("q",true)], ... ] Я думаю, что я мог бы дос…
02 дек '13 в 16:35
1
ответ
sml в списке параметров функций рекурсивных
Список & целое число n. Функция должна добавить n-й элемент списка и вернуть оставшийся список. Например insertnth ([5,6,7],2,9); вывод: [5,9,6,7] п 2,9 это то, что я добавляю вторую строку
01 ноя '11 в 21:37
2
ответа
Компиляторы семейства ML делают какую-либо сложную оптимизацию для хвостовых вызовов?
Я (полагаю) следующее определение функции является хвостово-рекурсивным: fun is_sorted [] = true | is_sorted [x] = true | is_sorted (x::(y::xs)) = if x > y then false else is_sorted (y::xs) Тривиально, это эквивалентно следующему объявлению fun i…
17 июл '14 в 13:38
1
ответ
Функция возвращает строку, когда ожидается bool
Что не так с этим фрагментом кода? fun expd s:string = if size(s) > 0 then true else false; Ошибка, которую я получаю: - fun exnd s:string = if size(s) > a then true else false; stdIn:657.1-837.8 Error: unbound variable or constructor: a Error…
28 ноя '16 в 13:47
1
ответ
Как я могу сделать анонимную функцию в SML, которая использует сопоставление с образцом (как забаву)?
У меня есть тип данных: datatype 'a tree = LEAF of 'a | NODE of 'a tree * 'a tree; Я хотел бы сделать функцию с именем maptree(f), которая возвращает анонимную функцию, способную выполнять f поэлементно в дереве. Почему следующее не работает? fun ma…
20 окт '13 в 23:10
2
ответа
Что минусы делают в этой функции?
Я в замешательстве относительно того, что Cons() Функция делает, в определении функции для от.
12 фев '12 в 05:07
1
ответ
Вставка в список по индексу
Я пытаюсь вставить значение в "регистр" с SML. Если список (или регистр) не определен в этом индексе, мне нужно составить список от 0 до этого индекса. Я попытался следующее, но не могу заставить его работать. fun storeInReg [] valIns idx = if idx =…
15 сен '16 в 05:41
1
ответ
SML Общий тип для разных структур
Я реализую наборы в стандарте ML. В настоящее время это выглядит так: signature SET = sig type t type 'a set ... val map : ('a -> t) -> 'a set -> t set end functor ListSetFn (EQ : sig type t val equal : t * t -> bool end) :> SET where…
04 июл '17 в 14:23
1
ответ
Как сопоставить образец 0.0 в SML?
У меня есть следующий код: datatype complex = RealImg of real * real | Infinity; fun divisionComplex(RealImg(a, b), RealImg(0.0, 0.0)) = Infinity fun divisionComplex(RealImg(a, b), RealImg(c, d)) = RealImg ((a * c + b * d) / (c * c + d * d), ((b * c…
12 авг '18 в 17:56
1
ответ
Стандартные статические ошибки ML
Я должен написать функцию, которая вычисляет этот тип данных: datatype Expr = X | Y | Avg of Expr * Expr | Mul of Expr * Expr; и я не могу найти ошибку в следующей функции; val rec compute => fn X => (fn x => fn y => x) | Y => (fn x =…
27 июл '15 в 16:10
3
ответа
Удалить элементы из списка в мл
Я пытаюсь написать функцию, которая создает новый список, содержащий данный список без элемента x. Московский ОД говорит, что некоторые случаи не используются в этом матче. fun delete (x,list) = delete(x,[]) |delete(x,(first::rest)) = if first = x t…
17 авг '13 в 17:49
1
ответ
Алгоритм поиска списка заданного точечного продукта и другого списка
Мне нужно написать функцию findL который берет список L 1 целых чисел и искомое произведение n и возвращает список L 2 неотрицательных целых чисел, такой что L 1 · L 2 = n. (Под "точечным произведением" я подразумеваю сумму попарных произведений; на…
16 окт '18 в 22:05
1
ответ
Вернуть большее значение кортежа
Я пытаюсь найти режим списка, и вернуть кортеж режима и количество раз, когда это происходит в списке. У меня это до такой степени, что я могу вернуть список каждого числа и количество раз, которое это происходит после этого, но это также дает мне в…
27 окт '13 в 18:18
1
ответ
Есть ли способ сделать обработку массивов в SML более приятной?
При реализации алгоритмов в SML я часто задаюсь вопросом, существует ли простой способ сделать код, который делает интенсивное использование массивов более читабельным. Например, если я определю функцию SML, чтобы поменять 2 элемента в массиве, код …
12 сен '14 в 18:36
1
ответ
Как решить, следует ли параметризовать на уровне типов или на уровне модулей при разработке модулей?
Я работаю над глубоким пониманием модулей в стиле ML: я думаю, что концепция важна, и мне нравится то, что они поощряют. Я только сейчас обнаруживаю напряжение, которое может возникнуть между параметрическими типами и параметрическими модулями. Я ищ…
29 авг '16 в 07:32
1
ответ
Исполняемая спецификация..? Как исполняемые спецификации могут быть использованы для быстрого прототипирования?
После прочтения этих книг Бертран Мейер, Введение в теорию языков программирования и Дж. Д. Ульман, Элементы программирования ML Я также прочитал несколько статей, пытался найти в Google, но я до сих пор не понимаю эту концепцию. "семантическая спец…
12 май '13 в 00:50