polyml

4зной

1ответ

Как получить доступ к библиотеке в Poly/ML в Windows?

Я установил Poly/ML из установщика «PolyML5.6-64bit.msi»; Я могу запустить REPL, щелкнув его в меню «Пуск»; но я не знаю, как получить доступ к любым библиотекам из него? Я пытался делать use "somethi

sml polyml 2016-02-26

---

2зной

2ответ

Ссылка на тип, связанный с результатом функтора в сигнатуре

Как я могу обратиться к типу в подписи, используемой в структуре, которая выводит тип из результата функтора. Вот пример с использованием поли переводчика: > signature Res = sig type f end; signature

sml polyml 2016-09-27

---

3зной

1ответ

Перечислить переменную перед именем функции и ограничениями в области видимости

Недавно я заметил, что перед именем функции в объявлении функции допускается переменная типа. Но я не вижу, как он используется. Вот несколько примеров: Poly/ML 5.5.2 Release > fun 'a print a = PolyM

sml polyml 2016-03-16

---

3зной

1ответ

Является ли этот отрывок правовым стандартом ML в соответствии с определением?

Является ли фрагмент кода ниже стандартным стандартом ML в соответствии с определением? Это тип-проверки с Poly/ML, но не с Москвой МЛ: infixr 5 ::: ++ signature HEAP_ENTRY = sig type key

language-lawyer sml polyml mosml 2016-06-25

---

3зной

2ответ

PolyML Функции и типы

[...] пара функций tofun : int -> ('a -> 'a) и fromfun : ('a -> 'a) -> int таким образом, что (fromfun o tofun) n вычисляет n для каждого n : int. Любой, кто может объяснить мне, что на самом деле про

function types sml polyml 2016-11-24

---

1зной

1ответ

Стандартный оператор экспорта ML из структуры как infix

Я хотел бы объявить инфиксный оператор внутри структуры a для использования вне структуры. Но я не могу понять, что «инфиксность» распознается вне структуры, даже когда структура была открыта. Вот при

sml polyml 2016-03-22

---

0зной

1ответ

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

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

functional-programming polymorphism sml polyml 2016-12-05

---

3зной

1ответ

Проверьте значения в структуре в Poly/ML

В Poly/ML, имена глобальных значений могут быть получены путем: map #1 ((#allVal PolyML.globalNameSpace)()); и strucutres верхнего уровня может быть получен аналогично с помощью #allStruct. Теперь,

sml polyml 2016-05-30

---