我正在阅读 Isabelle 的源代码，而我并没有一般的编程经验。 我发现使用 Poly/ML 基础库的RunCall结构（例如在src/Pure/Concurrent/thread_attributes.ML中操作线程标志）。 我查阅了RunCall 的 Poly/ML basis library ...
对于各种玩具项目，我希望能够将对象语言嵌入到 PolyML 顶层，例如 HOL 的反引号语法，其中反引号之间的表达式由自定义解析器解析。 我不介意特定的定界语法：反引号 `...`、guillemets <<...>> 或类似 {|...|} 的东西。 我只想能够在顶层编写 ...
理想情况下，这行 PolyML 代码应该给出预期的结果： 但是 \033 原来只是一个感叹号，而不是颜色编码的特殊符号。 我使用以下“绕过”方法，但它不允许以交互方式执行任何操作：我只取我程序的 output 并为其着色。 这个问题有哪些可能的解决方案？ 是否可以在标准 PolyML 仪器中解决它？ ...
我正在学习 SML，但无法弄清楚为什么以下教科书代码会产生错误： 错误是： 这适用于 Poly/ML 5.7.1。 该代码计算复数(x,y)的倒数。 我尝试添加; 和括号无济于事。 奇怪的是，以下更改（不正确）的定义可以正常工作。 错误消息的信息量不是很大。 有人可以帮助解释错误在哪里以及如何解决吗 ...
以下阶乘函数很好...... 但以下将 Poly REPL 带入无限循环。 想知道是什么原因造成的？？ ...
我对 SML 完全陌生，我不明白我应该做什么才能使用 PolyML 创建、编辑、编译和运行 sml 文件。 我正在使用 Windows，我不知道是否需要下载另一个 IDE，或者像 Java 这样的开发套件。 我想创建定义了一些函数的文件，然后由终端使用它们。 ...
我被困在 Poly/ML 中的函数式编程练习中： 执行''a list -> int 类型的 function ，以便将''a 元素列表作为参数。 function 必须返回列表中元素的数量，而不计算重复项。 我真的不知道如何解决它。 在此先感谢您的帮助！ ...
（更新：感谢 David，XGetPixel 问题已经解决） 我正在从 rosettacode.org 为 Standard ML 练习一些任务，但我坚持使用来自 XWindows (PolyML) 的 XGetImage 调用。 对于 XYPixmap 格式的每次尝试，我都会收到 badVal ...
在 freebsd 12 上，PolyML 中的 xwindows 模块没有实现，所以我试图在端口树之外编译它的源代码。 它确实可以编译，但我无法在 poly 中打开 XWindows 模块。 我所做的是： 将 libX11 复制到 /usr/lib 以确保，并在 /usr/include ...
我正在尝试创建一个读取文本文件的列表，例如我有一个像"1 5 12 9 2 6"这样的文本文件，我想创建一个像这样的列表[1,5,12,9,2,6]使用SML ...
在一次考试中，我发现了这个练习：“编写一个带有文件名（即“ text.txt”）并返回不带空格的字符列表的函数” 例如： “ text.txt”包含“ ab e ad c”，该函数必须返回-> [＃“ a”，＃“ b”，＃“ e”，＃“ a”，＃“ d”，＃“ c”] 哪 ...
我想列出SML库的每个功能。 是否有类似帮助命令的内容？ 例如： 有没有办法在PolyML终端中查看此列表 ？ 我需要在终端上查看它而不使用Google。 考试期间我无法使用互联网，也无法带笔记。 ...
我试图检查列表是否在 PolyML 中排序。 该列表不是内置类型，而是由我定义为： 我不知道如何检查递增和递减顺序，所以现在我将自己限制为递增顺序（欢迎提供更通用解决方案的任何提示！）。 所以我的方法如下： 首先Int.minInt不是Int类型，所以我的类型不匹配。 我怎么能解决这个问题 ...
我想在 SML 中使用 Visual Studio ti 程序，但我不知道如何在命令提示符下安装 Poly ...
我要在基于MobaXterm v11.1 cygwin的发行版上编译Poly / ML Standard ML编译器。 完成后，我得到 这里我有binutils / ar 2.29.1版本。 在具有binutils / ar 2.22.52版本的Fedora盒上，编译会通过。 ...
我想创建一个多态函数，将8,16,32位字转换为64位字。 我该怎么做？ UPDATE1 在基础库中，所有单词结构都具有toLarge函数和fromLarge函数以转换为/从LargeWord函数转换，据我所知，这只是Word32的同义词。 UPDATE2 根据规范，字 ...
您好，我正在尝试在ML中执行incFirst函数。 该函数执行以下操作：incFirst“ bad” =“ cad” incFirst“ shin” =“ thin”。 这是我尝试做的fun incFirst s = chr(ord s + 1) ^ substring(s, 1, size ...
使用Poly / ML，我想编写一个使用Array of Array构造n * n单位矩阵的函数。 我写： 它成功编译，给出 但是当我打电话给idmatrix 为了进行测试，编译器的输出为 有人可以解释为什么引发异常吗？ 非常感谢你！ ...
所以我在我的 mac 上安装了最新版本的 polyml。 如何运行编译器开始使用它？ 对于 sml，它非常简单，我只需输入“sml”即可开始工作？ ...
我有一个包含许多文件的项目，我希望它可以与最流行的编译器一起使用。 不幸的是，PolyML 和 SML/NJ 需要use语句，而 MosML 还需要使用load显式加载基础库结构，poly 或 sml 都无法识别。 最重要的是，MLton 和 MLKit 需要一个完全不同的 .mlb 文件，只是 ...