Хорошо, У меня есть следующее определение последовательности: datatype 'a seq = Nil | Cons of 'a * (unit-> 'a seq); Мне нужно реализовать следующую функцию: filterq_n:('a -> bool) -> int -> 'a seq -> 'a seq Функция...

Я пытаюсь заставить SML / NJ распечатать результат на верхнем уровне, не помещая повсюду знаки #. Согласно некоторым старым документам (и сообщению в этой группе новостей от 2001 г.), должно быть возможно использовать...

Я пытаюсь реализовать функцию удаления узла для двоичного дерева поиска в SML/nj. Однако я получаю ошибку ограничения, я не понимаю, почему... datatype 'a tree = Empty | Node of 'a * 'a tree * 'a tree; datatype 'a stree = STree of ('a * 'a ->...

Предположим, у меня есть начало определения стека, подобное следующему: signature STACK = sig type 'a stack end; structure Stack :> STACK = struct type 'a stack = 'a list end; Очевидно, это не работает, потому что я не могу привести...

Я пытаюсь преобразовать функцию Haskell, которая отображает логическую формулу, в функцию SML. Функция: data Formula = Atom String | Neg Formula | Conj Formula Formula | Disj Formula Formula precedence :: Formula -> Int...

Это для классного задания. Я должен реализовать функцию в ML evalxy poly x y , где poly — это int list list , представляющий полином. Термин в позиции n во внутреннем списке и позиции m во внешнем списке является коэффициентом для x^n *...

Я пытаюсь напечатать массив 2D-символов в SML, который имеет форму: val arr = Array2.fromList [[#"a", #"b", #"c"], [#"d", #"e", #"f"], [#"g", #"h", #"i"]]; Обратите внимание, что последний элемент в каждой строке не является элементом...

Я пишу эту функцию для МООК. Его задача состоит в том, чтобы удалить string из list и вернуть этот список без строки в виде SOME или вернуть NONE , если строки нет. Я написал код ниже, но всякий раз, когда я пытаюсь его запустить, я получаю...

Как правильно использовать оператор умножения для Standard ML (SMLNJ) для функций foldr и foldl? Использование foldr (op *) 1 [1,2,3]; дает ошибку Standard ML of New Jersey v110.78 [построено: четверг, 31 августа, 03:45:42 2017] stdIn:1.12...