Описание тега mosml

Вопросы с тегом
Moscow ML - компилятор с открытым исходным кодом для языка программирования Standard ML.
1 ответ

Компиляция проектов SML из нескольких файлов

У меня есть проект с большим количеством файлов, и я хочу, чтобы он работал с большинством популярных компиляторов. К сожалению, PolyML и SML/NJ требуют use операторы, в то время как MosML дополнительно требует явной загрузки структур базовой библио…
22 май '17 в 01:37
1 ответ

Ошибка идентификатора несвязанного значения SML в функции вставки

У меня проблема с моей отдельной функцией. Separate возвращает список, который вставляет элемент x после каждого k элементов списка l (считая от конца списка). Например, отдельный (1, 0, [1,2,3,4]) должен возвращать [1,0,2,0,3,0,4] и отдельный (3, 0…
05 мар '18 в 15:13
1 ответ

Размер пропозиционально-логической формулы в стандарте ML

Я работаю над этой проблемой, где логическая формула высказываний представлена: datatype fmla = F_Var of string | F_Not of fmla | F_And of fmla * fmla | F_Or of fmla * fmla Я пытаюсь написать функцию, которая возвращает размер формулы логики высказы…
08 мар '18 в 05:57
2 ответа

Понимание пользовательского списка приложений Стандарт мл

У меня возникли проблемы с пониманием этой реализации списков в стандарте ML. Вот как это определяется: Список добавления - это (простая) реализация абстрактного типа данных списка, который удешевляет конструкцию (O(1)), но делает уничтожение дорого…
06 мар '18 в 02:52
1 ответ

Выйдите из процесса, используя MLton и MosML (отсутствует модуль Process)

Я пытаюсь написать код, который будет компилироваться в mlton или mosml. В моем mosml я могу выйти из строя следующим образом. Process.exit(Process.failure) Однако, когда я пытаюсь использовать один и тот же код и скомпилировать на mlton. Он не може…
16 дек '17 в 15:41
1 ответ

Нахождение значения в представленной функции среде

Когда дело дошло до нахождения значения в bst env, все, что мне нужно было сделать, это сравнить искомое значение с корневым значением в узле. type 'a tenv = (name * 'a) btree exception NotFound of name fun find compare name Leaf = raise NotFound na…
08 мар '18 в 21:55
1 ответ

Является ли этот фрагмент законным стандартом ML в соответствии с определением?

Является ли приведенный ниже фрагмент кода законным стандартом ML в соответствии с определением? Проверяет тип с Poly/ML, но не с Moscow ML: infixr 5 ::: ++ signature HEAP_ENTRY = sig type key type 'a entry = key * 'a val reorder : ('a -> key) -&…
25 июн '16 в 15:52
1 ответ

SML: Каков наилучший способ просмотреть список, чтобы получить все остальные значения?

В последнее время я много практиковался в sml, и одна проблема, которую я обнаружил в своем учебнике, заключалась в том, чтобы попросить создать функцию, которая применяет функцию к нечетным индексированным значениям в списке. Когда я пытаюсь решить…
04 мар '18 в 02:13
1 ответ

Функция карты в списке в Standard ML

На основании этого определения: Список добавления - это (простая) реализация абстрактного типа данных списка, который удешевляет конструкцию (O (1)), но делает уничтожение дорогостоящим (O (n)). 'a alistNN а также 'a alist типы определяются следующи…
08 мар '18 в 21:11
1 ответ

Опция вывода для компилятора Moscow ML

Я собираю некоторые .sml файлы, использующие mosmlc.exe, Проблема в том, что .ui а также .uo выходные файлы размещаются в том же каталоге, что и мои входные данные .sml файлы. Я хотел бы сделать что-то вроде этого: mosmlc.exe -o out/ src/file1.sml s…
30 апр '16 в 09:43
1 ответ

"Карри" из кортежа в SML

Я пытаюсь определить оболочку функции, которая карри кортеж в SML. fun curry f = fn (x, y) z => f x y z; Дает мне ошибку Неидентификатор применяется к шаблону. Я новичок в ML и не уверен, почему шаблон соответствует fn не работает Как я мог сдела…
06 мар '18 в 05:57
3 ответа

Запись степенной функции в стандартном ML с предопределенной составной функцией

Возникли проблемы при написании степенной функции в стандарте Ml. Я пытаюсь написать функцию под названием exp типа int -> int -> int, Приложение exp b eдля неотрицательных e, должен вернуться b^e, Например, exp 3 2 должен вернуться 9. exp дол…
03 мар '18 в 18:34
1 ответ

Как добавлять элементы в список каждый n-й тур?

Мне нужно написать функцию separate типа int * 'a * 'a list -> 'a lst такой, чтоseparate (k, x, l) возвращает список, который вставляет элемент x после каждого k элементы списка l (считая от конца списка). Например, separate (1, 0, [1,2,3,4]) дол…
03 мар '18 в 16:29
1 ответ

Вставьте функцию используя foldl/foldr

Я работал над отдельной функцией, которая возвращает список, который вставляет элемент x после каждого k элементов списка l (считая от конца списка). Например, отдельный (1, 0, [1,2,3,4]) должен возвращать [1,0,2,0,3,0,4]. Я закончил функцию, и она …
08 мар '18 в 01:01
1 ответ

Как получить доступ к аргументу из функции, переданной в качестве аргумента в SML

Я новичок в кодировании SML и все еще пытаюсь понять сопоставление с образцом. Я пытаюсь выяснить, как получить доступ к аргументу из функции, переданной в качестве аргумента в SML. Например, если функция принимает 2 аргумента, функцию и целое число…
12 окт '16 в 19:02
1 ответ

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

Как работает компиляция нескольких файлов в Standard-ML? У меня есть 2 файла. file1.sml: (* file1.sml *) datatype fruit = Orange | Apple | None А также file2.sml: (* file2.sml *) datatype composite = Null | Some of fruit Итак, как вы можете видеть f…
29 апр '16 в 21:08
1 ответ

Упаковка типов данных в стандартном ML

Этот вопрос является дополнительным вопросом к вопросу, опубликованному здесь: Понимание пользовательского списка приложений Стандарт мл Проблема, с которой я сталкиваюсь, заключается в том, что я не могу понять, как правильно обернуть узел добавлен…
07 мар '18 в 21:01
1 ответ

Как создать пустую среду, представленную функцией

Я наткнулся на эту проблему в Интернете, которая показалась мне интересной, у нее было достойное объяснение, но я был озадачен решением. Так дано type 'a fenv = name -> 'a создать значение типа 'a fenv который был бы нашим пустым env. Я думал, чт…
08 мар '18 в 05:48
3 ответа

Можно ли создать "универсальную" функцию в Standard ML?

Я хотел бы создать функцию remove_duplicates это требует list любого типа (например, может быть int list или bool list или int list list или whatever list) и возвращает тот же список без дубликатов, возможно ли это в Standard ML?
05 авг '20 в 20:20
1 ответ

Длина кортежей sml

Меня интересовало, есть ли способ получить длину кортежа в sml?! См. Пример val tes = ((1,"test"),("test","some")) Lenght(tes) = 2 Я хочу, чтобы это решило проблему, есть проблема, в которой говорится, что нужно получить список студентов, который со…
05 май '21 в 17:17