Я хочу реализовать произвольную подпись в SML.Как определить тип данных для терминов над этой...

Я написал функцию ml, и в выводе я получаю = Mary ("a", [Zary #, Zary #]), где Mary и Zary -...

каждый, в чем разница между следующими заданиями в ML, val n = 5; и n := 1;

Привет, мне нужна помощь, чтобы понять, почему я получаю ошибку ограничения значения в этом коде и...

Я пытаюсь реализовать параллельный список, используя CML-расширения Standard ML, но я сталкиваюсь с...

Я пытаюсь заставить SML / NJ распечатать результат на верхнем уровне, не ставя знаки # везде....

Я начинаю изучать Standard ML, и теперь я пытаюсь использовать Standard ML компилятора Нью-Джерси....

Итак, я писал некоторый код в стандартном ML и пытался скомпилировать его с помощью smlnj.Я получил...

возможно ли получить элемент из списка в SML Нью-Джерси, не используя функцию head and tail, что-то...

Хорошо, У меня есть следующее определение последовательности: datatype 'a seq = Nil | Cons of...

Я написал функцию, которая работает как положено, но я не понимаю, почему вывод такой. Функция:...

Я должен написать функцию "to_string", которая получает этот тип данных datatype prop = Atom of...

Я должен написать функцию, которая «раскладывает» список. Пример: input [7, [[8]], [[5, [9]]], 6]...

возможно ли в ML поймать все возможные исключения? например, если я не знаю, какое исключение может...

каждый, я пытаюсь понять, как исключения работают в ML, но у меня странная ошибка, и я не могу...

У меня есть этот фрагмент кода в ML: local fun unfolder( [] , n ) = [] | unfolder( l::ls, n ) = (n,...

Привет всем, я пытаюсь написать функцию, которая может развернуть int в списке с любой глубины,...

как я могу определить новый тип данных в ML, давайте предположим, что newList может состоять из...

У меня есть этот бит кода: fun foldr2(f, x::xs) = if xs = [] then x else f(x, foldr2(f, xs)) С...

Может кто-нибудь объяснить, что означает это предупреждение? stdIn:18.35 Warning: calling polyEqual...

Мне нужно написать некоторую функцию, используя ML, эта функция получает список ребер направленного...

Привет всем У меня есть этот фрагмент кода: local helper(f, i, j) = local fun NTimesF(f, n:int) =...

Привет всем, у меня есть этот фрагмент кода: local fun NTimesF(f, n:int) = if n = 1 then fn (x)...

Я изучаю ML, может кто-нибудь объяснить, что означает исчерпывающий паттерн?

Я пытаюсь выполнить основные операции со списком с помощью SML. Я хочу извлечь каждый элемент...