这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令 poly，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
poly - Poly/ML 标准 ML 实现
概要
聚
商品描述
聚 启动 Poly/ML shell。 Poly/ML 是标准 ML 的实现，由
David Matthews 最初在剑桥大学工作并作为项目维护
由贡献者支持。
配置
-v 打印 Poly/ML 的版本并退出。
- 帮帮我 打印参数列表并退出。
-q 禁止启动消息。
-i 交互模式。 为每个输入行输出提示。 这是默认值，如果
输入来自终端。
--使用 文件
从 FILE 读取输入，就像在执行 ML 命令“use "FILE";” 之前
ML shell 启动。
--评估 STRING
在 ML shell 启动之前，将 STRING 作为 ML 编译并执行。
--错误退出
通常，如果 ML 代码引发未处理的异常控制返回到 ML
贝壳。 使用此选项，外壳会在出现未处理的异常时退出。
--带标记
打印时包括额外的标记信息。 这仅适用于
Poly/ML 在能够解码附加信息的环境下运行
信息。
--ide协议
运行 IDE 通信协议，而不是正常的 read-eval-print 循环。
只适合在开发环境中运行。
- 脚本
输入是一个 shell 脚本。 如果以#! 开头，则跳过第一行。
-H 尺寸
设置初始堆大小。 大小可以写成数字可选
后跟 K、M 或 G 表示千字节、兆字节或千兆字节。 如果没有
这些给出的数字以兆字节为单位。
--最小堆 尺寸
设置最小堆大小。 堆不会收缩到这个值以下。
--最大堆 尺寸
设置最大堆大小。 堆不会超过这个值。
--gc百分比 百分
设置代码应该在垃圾中花费的目标时间百分比
集电极。 堆大小器将尝试设置堆大小以实现此目标
与参数给出的最小和最大堆大小一致，并且
与控制分页保持一致。
--gc线程 线程
设置并行垃圾收集器中使用的线程数。 将此设置为
1 强制垃圾收集器是单线程的。 默认值 0 是
被视为可用的处理器（内核）数量。
-调试 选项
为运行时系统设置各种调试选项。
使用 onworks.net 服务在线使用 poly
