Описание тега mlton
MLton - это компилятор для оптимизации всей программы с открытым исходным кодом для стандартного языка программирования ML.
1
ответ
Компиляция проектов SML из нескольких файлов
У меня есть проект с большим количеством файлов, и я хочу, чтобы он работал с большинством популярных компиляторов. К сожалению, PolyML и SML/NJ требуют use операторы, в то время как MosML дополнительно требует явной загрузки структур базовой библио…
22 май '17 в 01:37
1
ответ
Выйдите из процесса, используя MLton и MosML (отсутствует модуль Process)
Я пытаюсь написать код, который будет компилироваться в mlton или mosml. В моем mosml я могу выйти из строя следующим образом. Process.exit(Process.failure) Однако, когда я пытаюсь использовать один и тот же код и скомпилировать на mlton. Он не може…
16 дек '17 в 15:41
1
ответ
Как повысить производительность массива в PolyML?
У меня есть следующий тест, который перебирает массив, устанавливая следующую запись равной единице плюс предыдущая запись. Если число становится больше определенного предела, я устанавливаю ноль и продолжаю. Затем в конце я суммирую записи в массив…
06 сен '15 в 15:42
2
ответа
Принудительное равенство для действительных чисел в Real в SML
Как объясняется в подписи REAL, реальный тип, определенный в SML, не является типом равенства, и, следовательно, следующее выражение не уменьшает > 1.0 = 1.0; poly: : error: Type error in function application. Function: = : ''a * ''a -> bool A…
02 мар '17 в 15:18
1
ответ
Сбой компилятора MLton SML в Bascinet
Я пытаюсь настроить рабочее пространство для класса, и профессор в основном знаком с системами Windows. Я действительно предпочитаю заниматься разработкой в среде Linux. В настоящее время я использую 32-разрядную версию Lubuntu. Я скачал последнюю…
31 янв '17 в 03:55
0
ответов
Как собрать sml3d из SVN?
Я пытаюсь собрать sml3d из источника SVN (есть ли другой способ?). Сначала проверьте исходный код с помощью следующей команды, как показано ниже: $svn co --username anonsvn \ https://smlnj-gforge.cs.uchicago.edu/svn/sml3d/trunk sml3d Затем я прочита…
04 мар '15 в 15:59
1
ответ
MLton компилируется статически
У меня проблема с компиляцией программы в Standard ML. Эта программа отлично работает и прекрасно компилируется на моей локальной машине. Но я хотел бы иметь возможность компилировать его статически, чтобы выполнить его где-то еще в кластере. Вот ко…
25 ноя '15 в 10:39
1
ответ
Обработка и печать исключений с помощью SML
У меня есть код, который выглядит так: ignore (f ()) handle AssertionError msg => (print ("assertion error: " ^ msg ^ "\n"); ()) | _ (* other exceptions *) => (print ("exception raised\n"); ()) Но мне нужно напечатать общее сообщение об исключ…
08 окт '18 в 14:15
1
ответ
Промежуточный файл C просмотра в mlton при использовании `-codegen c`
У меня есть следующий исходный файл SML с тривиальной функцией в нем: (* fact.sml *) fun fact_unguarded 0 = 1 | fact_unguarded n = n * fact_unguarded(n-1) fun fact 0 = SOME(1) | fact n = if n > 0 then SOME(n * fact_unguarded(n-1)) else NONE Я пыт…
05 ноя '17 в 19:24
1
ответ
Определить тип перед использованием
Согласно документации MLton: Стандарт ML требует, чтобы типы были определены до их использования. [ ссылка] Не все реализации соблюдают это требование (например, SML/NJ), но ссылка на странице выше дает хорошее обоснование того, почему она может быт…
04 авг '13 в 03:14
1
ответ
mlton дает ошибку, связанную с библиотекой
Когда я пытаюсь скомпилировать программу с mltonЯ получаю ошибку. ~/projects/serve-sml $ mlton server.mlb In file included from /usr/lib/mlton/include/platform.h:13:0, from /usr/lib/mlton/include/common-main.h:16, from /usr/lib/mlton/include/amd64-m…
11 июн '15 в 15:11
2
ответа
Полиморфное приведение к Word64 в Standard ML
Я хотел бы создать полиморфную функцию, которая преобразует 8,16,32-битные слова в 64-битное слово. Как мне это сделать? Update1 В базовой библиотеке все структуры слов имеют функции toLarge а также fromLarge конвертировать в / из LargeWordНасколько…
03 дек '18 в 08:29
1
ответ
Как использовать smlnj-lib в mlton
Я собираю исходный файл SML со ссылкой на IntBinarySet используя MLton. Код хорошо работает с использованием SML/NJ, однако при компиляции с использованием MLton он жалуется Undefined structure IntBinarySet, Нужно ли как-то импортировать smlnj-lib? …
01 май '13 в 05:06
0
ответов
MLton на альпийском Linux
Я сталкиваюсь с проблемами при установке и запуске компилятора MLton в контейнере Docker с использованием Alpine Linux. Есть ли способ установить этот компилятор в этой системе? Попробуйте №1 Используя стандартное `альпийское базовое изображение и д…
15 янв '18 в 10:32
2
ответа
Правило Хорнера для полинома с двумя переменными
Правило Хорнера используется для упрощения процесса оценки полинома при определенных значениях переменной. https://rosettacode.org/wiki/Horner%27s_rule_for_polynomial_evaluation Я легко применил метод, используя SML, к полиному с одной переменной, п…
04 фев '17 в 01:13
1
ответ
Компилятор Mlton не работает (не выдает никакого вывода)
Установил компилятор MLton на Ubuntu (sudo apt-get install mlton) и не имел проблем (вроде бы) с установкой. Когда я пытаюсь использовать его (например, "mlton test.sml"), он сидит секунду, а затем ничего не возвращает. Если я пытаюсь что-то напечат…
30 апр '18 в 02:54
1
ответ
Можно ли скомпилировать Standard ML в JavaScript, используя преимущества MLTon?
Единственный способ, которым я мог представить, - это использовать Emscripten, но у MLTon нет бэкэнда LLVM. Возможно ли это как-то?
04 янв '14 в 13:23
1
ответ
Зависимая специализация подписи
Могу ли я специализировать тип в сигнатуре, используя типы до этого типа и в сигнатуре? Вот пример: signature A = sig type t type s end Могу ли я специализироваться A по следующему? signature B = A where type s = t list И SML/NJ, и Mlton жалуются, ч…
23 июл '17 в 01:53
1
ответ
Как правильно читать эту функцию SML, которая использует foldl?
Я новичок в SML, и у меня возникают проблемы с пониманием того, что является аргументами и что передается внутренней функции в этом коде. fun print_mat mat = let val _ = (Array.foldl ( fn (arr, _) => let val _ = (print_arr arr) in () end ) () mat…
08 мар '19 в 23:11
1
ответ
Как дождаться завершения параллельных потоков ML перед выходом из программы?
Я пытаюсь реализовать базовую программу "стресс-тестирования" в MLton и ее реализацию Concurrent ML, в частности тест Монте-Карло Пи, описанный здесь. Хотя я думаю, что у меня есть большая часть того, что мне нужно, у меня проблема в том, что моя пр…
15 мар '20 в 11:24