Не могли бы вы мне помочь с использованием функции yyleng ml-lex. Как я могу использовать его для...
Мне нужно создать новый экземпляр lexer, привязанный к стандартному потоку ввода. Тем не менее,...
Хорошо, У меня есть следующее определение последовательности: datatype 'a seq = Nil | Cons of...
Сказал, что у меня есть 2 логические фразы CNF a, b, и моя функция dist должна возвращать форму CNF...
Что ж, меня просят сделать следующее: Чтобы определить двоичное дерево, которое может содержать 2...
Фактическая стандартная спецификация ML - Определение стандарта ML (пересмотренная) , которая...
В OCaml вы можете вкладывать подписи: module type FOO = sig module type BAR (* … *) end Мне просто...
Я учу ML.Может кто-нибудь, пожалуйста, помогите мне с основными функциями ввода / вывода в ML ??Я...
У меня есть этот код: datatype 'a Tree = Empty | LEAF of 'a | NODE of ('a Tree)...
У меня все еще есть проблемы с этим, поэтому я могу попросить о дополнительной помощи. Нам дают:...
Я работаю над функцией перестановок для всех значений в списке. Вот что у меня есть: //MY ROTATE...
Это часть домашнего задания, поэтому моя цель - понять , почему это неправильно.Как я упоминал...
val y=2; fun f(x) = x*y; fun g(h) = let val y=5 in 3+h(y) end; let val y=3 in g(f) end; Я ищу...
Существуют ли какие-либо гарантии доступа с типом ссылки ML в случае одновременного доступа?
С учетом типов данных: datatype bunch = One of int | Group of bunch list; datatype 'ex bunch =...
Мне нужно вернуть другое значение на основе функции, переданной в другую функцию. Итак, учитывая:...
Все, Я хочу получить выражение типа для функции ниже в ML: fun f x y z = y (x z) Теперь я знаю, что...
есть ли в ML функция eval?
Как ML выполняет вывод типа в следующем определении функции: let add a b = a + b Это похоже на...
Я использую Moscow ML в сочетании с CGI. У меня есть сайт, который вычисляет простую арифметику....
Я только начал изучать SML самостоятельно и застрял с вопросом из учебника. Допустим, у меня есть:...
Мне нужно создать функцию о числах Пеано, определенную как следующий тип данных: datatype 'a...
Я хочу читать из файла, но когда я использую inputAll или inputLine, он читает только 70 символов...
Мне нужно прочитать файл в ML (SLMNJ) и сохранить его в некоторых структурах. Мне нужно прочитать...
Мне нужно написать код на ML, и я впервые использую этот язык. Есть ли среда разработки для...