sml

2зной

2ответ

SML/NJ Библиотека Базис не работает в Windows 10

Я использую самую последнюю версию SMLNJ (110.79) на ОС Windows 10. я не могу использовать какие-либо из функций библиотеки SML Basis. Вот пример я попытался с List.filter fun isOdd nmbr = (nmbr mod 2

sml smlnj 2016-01-15

---

2зной

3ответ

Объясняя функцию SML и его тип

Так что я эту функцию: fn (f,g,x) => g(f(x)); Тип этой функции: ('a -> 'b) * ('b -> 'c) * 'a -> 'c Означает ли функция, е представляет «а , g представляет 'b, а x представляет' c? Также в этом случае,

function types sml 2015-12-13

---

4зной

2ответ

Использование преемника ML с SML/NJ

Я был приятно удивлен, увидев, что SML/NJ недавно внес существенные изменения в version 110.79, который является частью движения к чему-то, называемому Successor ML. Это, похоже, совместное предприяти

sml smlnj 2016-01-01

---

2зной

1ответ

SML NJ - Полиморфный тип пользовательского списка и суммирование элементов

Я узнаю о полиморфизме и SML. Я немного не уверен в том, как обрабатывать суммирование элементов, сохраняя при этом функцию полиморфной. Скажем, если у меня есть это определение ... datatype 'a custom

polymorphism sml smlnj 2016-01-04

---

3зной

4ответ

SML: подсчитайте число «\ n» в строке

Я совершенно новый в стандартном ML, и у меня есть вопрос, который, вероятно, будет очевидным для тех, кто знает, как кодировать на этом языке. Я получил оригинальную функцию следующим образом: fun ge

algorithm functional-programming sml smlnj 2016-01-06

---

1зной

3ответ

SML: Изменение значения INT в структуре

У меня небольшая проблема. Я сделал расчеты, и все мои идентификаторы больше не следуют друг за другом (из-за некоторого удаления во время исчисления). К сожалению, чтобы мой результат был действитель

algorithm types sml smlnj 2016-01-06

---