sml

0зной

1ответ

Функция типа: ('a -> (' b -> 'c)) -> (' a -> 'b) -> (' a -> 'c) в стандарте ML

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

functional-programming polymorphism sml polyml 2016-12-05

---

2зной

1ответ

В чем разница между функцией rem и mod в sml?

Я работаю над проектом sml, в котором я должен реализовать эти две функции rem & mod для пользовательских данных. Я знаю определение остатка rem. дивиденд = делитель * фактор + остаток Что такое опред

math sml smlnj arithmetic-expressions 2016-12-05

---

1зной

2ответ

Как интерпретировать это выражение для ввода SML?

(* val bar = fn : (’a * ’b -> ’b) -> ’b -> ’a list -> ’b *) fun bar f b nil = b | bar f b (h::t) = f (h, bar f b t) Эта функция была предоставлена ​​нам с инструкциями по разъяснению того, что она

sml typing 2016-12-06

---

-5зной

1ответ

Как написать программу ML в Java? С вложенными функциями

Мое упражнение дало мне это как оригинальное кодированное. Затем они хотели, чтобы мы выполнили его. Я думал, что теперь у меня нет ничего, чтобы иметь смысл. В этом месте есть точка, в которой исполь

java implementation sml ml 2016-12-06

---

1зной

1ответ

Как найти количество вхождений в списке строк ML?

Я новичок в ML, вот мой attemp писать функцию, которая принимает: список строк L строка ул INT счетчик функция должна возвращать количество вхождений str в L Это мой код: (* * return number of occure

functional-programming sml smlnj ml 2016-12-10

---

0зной

1ответ

Зачем заменять `in`` let` в sml?

У меня есть блок local с несколькими вспомогательными методами. После этого наступает основную функцию (между блоком in и end): datatype color = BLACK | RED; datatype 'a RBTree = Nil | Br of (i

sml smlnj 2016-12-23

---

0зной

2ответ

Как сохранить элементы в списке через программу в SML?

Предположим, мне нужно обновить список при каждом вызове функции, чтобы сохранился предыдущий элемент списка. Вот моя попытка: local val all_list = []; in fun insert (x:int) : string = int2

functional-programming sml smlnj 2016-12-23

---

2зной

1ответ

ML-Ошибка при использовании исключений

я написал функцию для обработки исключения, если мы получили r2 = 0 и i2 = 0, но при запуске программы я получаю эту ошибку: operatii.ml:12: error: Type error in function application. Function: =

exception sml smlnj ml 2016-12-29

---