smlnj

1зной

1ответ

SML: Тип умозаключение дает странные ошибки во время добавления элемента в список

Я пытаюсь обратить список в SML со следующей реализацией fun reverse x y = case x of [] => y | x::xs => reverse(xs, x::y) ; сообщения об ошибках, которые я получаю непроницаема: t

sml smlnj 2017-01-15

---

0зной

1ответ

Как красиво печатать древовидное значение шаг за шагом?

Так у меня есть тип данных: datatype ex = A of int | B of ex * ex; и пример переменной: val x = (B (A 1, B (A 2, A 3))); Я хочу, чтобы печатать через него, как это: "(1, (2, 3))" Любая помощь бу

sml smlnj 2017-01-22

---

0зной

1ответ

SML: Как вставить элементы списка в новый список с условиями?

У меня есть список и значение, как я могу вставить элементы списка в новый список, пока сумма этих элементов не превысит этого значения? Вопрос в том, как вернуть вышеупомянутый новый список и первона

sml smlnj 2017-01-31

---

2зной

1ответ

В SML можно определить псевдоним для шаблона?

Скажем, у меня есть следующий тип данных datatype mytype = Foo | Bar | Baz и хотите написать функцию вроде следующего fun myfun ((Foo|Bar), (Foo|Bar)) = something | myfun (Baz, _) = somethingelse

sml smlnj 2017-02-01

---

4зной

2ответ

Правило Хорнера для двузначного полинома

Правило Хорнера используется для упрощения процесса вычисления полинома по определенным значениям переменных. https://rosettacode.org/wiki/Horner%27s_rule_for_polynomial_evaluation#Standard_ML Я легко

functional-programming sml smlnj polynomial-math mlton 2017-02-04

---

0зной

1ответ

SMLNJ - Функция работает сам по себе, но не внутри другой функции

У меня есть эта функция: addBinaryTreeNode((genRandomNumber(100), genRandomNumber(100), genRandomNumber(100)), tree, 1, []) Это возвращает тип данных «BinaryTree». Она будет собирать, когда это само

sml smlnj 2017-02-16

---