polyml

4зной

3ответ

Как преобразовать что-либо в строку, в SML?

Я пытаюсь реализовать функцию тестирования для сравнения и показать сообщение об ошибке, если они не равны: exception AssertionErrorException of string fun assert(testName, actual, expect) : bool =

sml polyml 2013-10-13

---

0зной

1ответ

ML не может унифицировать 'a с int

Упражнение предназначено для кодирования функции в ML, которая удаляет элемент из двоичного дерева поиска. Вот код: datatype 'a tree = Lf | Br of 'a * 'a tree * 'a tree; fun deleteTop (Br(_, Lf, t2)

ml polyml 2013-11-01

---

3зной

3ответ

есть ли в ML?

есть ли функция eval в ML?

ocaml eval ml polyml 2010-06-10

---

5зной

3ответ

Как добавить поддержку readline в polyml-интерпретаторе?

Я обнаружил, что polyml - это реализация ML, которую можно легко установить на Ubuntu (с именем polyml в репозитории и может быть выполнено с poly). Я следую за A Gentle Introduction to ML Эндрю Камми

linux ubuntu sml ml polyml 2013-07-30

---