Это командный poly, который можно запустить в бесплатном хостинг-провайдере OnWorks с помощью одной из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
poly - реализация стандартного ML для Poly / ML
СИНТАКСИС
поли
ОПИСАНИЕ
поли запускает оболочку Poly / ML. Poly / ML - это реализация Standard ML, написанная
Дэвид Мэтьюз первоначально работал в Кембриджском университете и поддерживался как проект.
поддерживается участниками.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
-v Распечатайте версию Poly / ML и выйдите.
--Помогите Распечатайте список аргументов и выйдите.
-q Подавить стартовое сообщение.
-i Интерактивный режим. Выведите подсказку для каждой строки ввода. Это значение по умолчанию, если
ввод с терминала.
--использовать ФАЙЛОВ
Читает ввод из ФАЙЛА, как если бы выполнял команду ML 'use "FILE";' перед
Оболочка ML запускается.
--евал STRING
Компилирует и выполняет STRING как ML перед запуском оболочки ML.
- ошибка-выход
Обычно, если код ML вызывает необработанное исключение, управление возвращается к ML.
оболочка. С этим параметром оболочка завершает работу по необработанному исключению.
--с разметкой
Включите дополнительную информацию о разметке при печати. Это подходит только тогда, когда
Poly / ML работает в среде, способной декодировать дополнительные
Информация.
--ideпротокол
Запустите протокол связи IDE, а не обычный цикл чтения-оценки-печати.
Подходит только для работы в среде разработки.
--скрипт
Входными данными является сценарий оболочки. Первая строка пропускается, если она начинается с # !.
-H размер
Устанавливает начальный размер кучи. Размер может быть записан в виде числа по желанию.
за которыми следует K, M или G, представляющие килобайты, мегабайты или гигабайты. Если ни один из
это число принимается в мегабайтах.
--minheap размер
Установите минимальный размер кучи. Куча не сжимается ниже этого значения.
--maxheap размер
Установите максимальный размер кучи. Куча не будет превышать это значение.
--gcpercent процент
Установите целевой процент времени, которое код должен проводить в мусоре.
коллекционер. Размер кучи попытается установить размер кучи для достижения этой цели.
в соответствии с минимальным и максимальным размерами кучи, указанными аргументами, а также
в соответствии с контролем над подкачкой.
--gcthreads темы
Устанавливает количество потоков, используемых в параллельном сборщике мусора. Установив это на
1 заставляет сборщик мусора быть однопоточным. Значение 0, по умолчанию, равно
принимается за количество доступных процессоров (ядер).
--отлаживать кредита
Установите различные параметры отладки для системы времени выполнения.
Используйте поли онлайн с помощью сервисов onworks.net
