Описание тега polyml
Реализация стандартного машинного обучения в Poly/ML
1
ответ
Просмотр специализации / подтипа универсального в polyml после приложения функтора
В следующей программе мы знаем, что valStr.valueпредполагает подтип pair универсального типа t, Тем не менее, когда я рассматриваю это poly тип показан как t, Есть ли способ, которым я могу видеть в poly интерпретатор, который t был специализирован …
30 авг '15 в 06:23
1
ответ
Компиляция проектов SML из нескольких файлов
У меня есть проект с большим количеством файлов, и я хочу, чтобы он работал с большинством популярных компиляторов. К сожалению, PolyML и SML/NJ требуют use операторы, в то время как MosML дополнительно требует явной загрузки структур базовой библио…
22 май '17 в 01:37
1
ответ
Функция типа: ('a -> ('b -> 'c)) -> ('a -> 'b) -> ('a -> 'c) в стандарте ML
Во время подготовки к экзамену по языкам программирования есть несколько вопросов о выводе типов для секции Standard ML, большинство из них я могу решить, сделав вывод типов в своей голове, и я в этом неплохо разбираюсь, однако есть один вопрос, кот…
05 дек '16 в 12:14
1
ответ
Получение дерева разбора из строки исходного кода в Poly/ML
Я пытаюсь скомпилировать строку исходного кода и распечатать дерево разбора, используя Poly/ML. Следующий код компилируется, но дерево разбора пустое: fun main () = let val stream = TextIO.openString "let val a = \"abc\"; val b = \"def\"; val c = a …
23 фев '16 в 16:26
1
ответ
Как повысить производительность массива в PolyML?
У меня есть следующий тест, который перебирает массив, устанавливая следующую запись равной единице плюс предыдущая запись. Если число становится больше определенного предела, я устанавливаю ноль и продолжаю. Затем в конце я суммирую записи в массив…
06 сен '15 в 15:42
1
ответ
Является ли этот фрагмент законным стандартом ML в соответствии с определением?
Является ли приведенный ниже фрагмент кода законным стандартом ML в соответствии с определением? Проверяет тип с Poly/ML, но не с Moscow ML: infixr 5 ::: ++ signature HEAP_ENTRY = sig type key type 'a entry = key * 'a val reorder : ('a -> key) -&…
25 июн '16 в 15:52
1
ответ
Можно ли проверить, имеет ли значение определенный тип в Poly ML?
В Poly ML, как бы вы написали функцию, которая возвращала бы "true", если x имел тип 'a, и false, если это не так?
15 ноя '12 в 21:00
1
ответ
Общие библиотеки в Poly/ML
Можно ли построить общую библиотеку, используя Poly/ML? Я хочу быть в состоянии создать C API для библиотеки Poly / ML и вызывает / загружает ее из разных языков программирования (например, Python). Кто-нибудь пытался это сделать? Я знаю, что это мо…
10 июл '13 в 20:35
1
ответ
ML не может объединить 'с Int
Упражнение заключается в кодировании функции в ML, которая удаляет элемент из бинарного дерева поиска. Вот код: datatype 'a tree = Lf | Br of 'a * 'a tree * 'a tree; fun deleteTop (Br(_, Lf, t2)) = t2 | deleteTop (Br(_, t1, Lf)) = t1 | deleteTop (Br…
01 ноя '13 в 18:55
1
ответ
run-sml не работает в sml-режиме emacs
Я хочу использовать sml-mode в emacs на Fedora. мой ~/.emacs файл содержит (add-to-list 'load-path "/home/gbuday/prooftheory/sml-mode") (autoload 'sml-mode "sml-mode" "Major mode for editing SML." t) (autoload 'run-sml "sml-proc" "Run an inferior SM…
10 май '17 в 14:33
1
ответ
Как получить доступ к библиотеке в Poly/ML в Windows?
Я установил Poly/ML из установщика "PolyML5.6-64bit.msi"; Я могу запустить REPL, щелкнув его в меню "Пуск"; но я не знаю, как получить доступ к библиотекам из него? Я пытался делать use "something", но это приводит к ошибке, как показано ниже: > …
26 фев '16 в 19:59
1
ответ
Поли /ML интерпретатор / компилятор прямо в Emacs
Я установил sml-mode в emacs 24. Я хочу скомпилировать код непосредственно в emacs с Poly/ML, как мне это сделать? Я установил Poly/ML, а затем набрал sml-poly-ml, чтобы запустить интерпретатор, но я не отвечаю. Я тестировал как на Windows, так и на…
23 янв '14 в 13:40
1
ответ
Структурирование библиотеки в SML
В настоящее время я создаю тестовую библиотеку в Standard ML (используя Poly/ML в качестве переводчика). У меня есть следующая структура каталогов: project/a.sml project/src/b.sml project/src/c.sml ... куда a.sml это просто набор звонков для использ…
21 май '15 в 10:08
1
ответ
Стандартный оператор экспорта ML из структуры как инфикс
Я хотел бы объявить инфиксный оператор в структуре для использования вне структуры. Но я не могу понять, что "нефиксированность" можно распознать вне структуры, даже когда структура была открыта. Вот пример использования Poly/ML: > structure A = …
22 мар '16 в 18:33
1
ответ
В SML почему вы не можете использовать реальную константу в шаблоне?
Этот код не принят; > fun fact 0.0 = 1.0 Error-Real constants not allowed in patterns > | fact n = n*fact(n-1); Static Errors Почему это?
08 дек '16 в 16:18
2
ответа
Функции и типы PolyML
[...] пара функций tofun : int -> ('a -> 'a) а также fromfun : ('a -> 'a) -> int такой, что (fromfun o tofun) n оценивает n для каждого n : int, Кто-нибудь может объяснить мне, что это на самом деле просит? Я ищу больше объяснения, чем ф…
24 ноя '16 в 19:24
1
ответ
Как пройти трассировку стека из `polyc`?
Я использую компилятор PolyML 5.6 Release на Mac OS. Я компилирую и запускаю некоторый код, который вызывает исключение (Fail "undefined"). Я ожидаю, что мое скомпилированное приложение выйдет с трассировкой стека при возникновении исключения; но вм…
04 мар '17 в 09:54
2
ответа
Использование Poly/ML для создания проектов с вложенными структурами каталогов
До сих пор я использовал Poly/ML для нескольких небольших проектов, в которых все файлы исходного кода находятся в одном каталоге. Чтобы построить эти проекты, мне нужно было всего лишь выполнить следующую команду в REPL: > PolyML.make "Main"; Но…
28 мар '15 в 09:59
1
ответ
Печать символов Юникода в Poly/ML
Как напечатать строчный греческий эпсилон в SML (используя Poly/ML)? Я пробовал следующее: print "ε"; (* Error-unprintable character found in file *) print "\u03B5"; (* Error-Conversion exception (Invalid string constant) raised while converting \u0…
10 авг '15 в 13:39
1
ответ
Проверьте значения в структуре в Poly/ML
В Poly/ML имена глобальных значений могут быть получены с помощью: map #1 ((#allVal PolyML.globalNameSpace) ()); и структуры верхнего уровня могут быть получены аналогичным образом, используя #allStruct, Теперь, как я могу перечислить все значения в…
30 май '16 в 04:15