问题标签 [polyml]

我想创建一个多态函数，将 8、16、32 位字转换为 64 位字。我该怎么做？

更新1

在基础库中，所有单词结构都具有功能toLarge并fromLarge可以转换为LargeWord，据我所知，这只是 Word32 的同义词。

更新2

根据规范，字长必须是 2 的幂，但在 SML/NJ 我有

在 PolyML 中

那个怎么样？为什么Word.wordSize不是二的幂？为什么Word这些 SML 实现中的表示不同？

更新3

实际上，我希望能够使用 (<<) 运算符将较小的单词“提升”为较大的单词，但无法弄清楚如何去做。

更新4

似乎Word并LargeWord取决于架构并代表一个机器字。因为 SML/NJ 不支持 64 位 arch，所以它有不同的字长。

我将在基于 MobaXterm v11.1 cygwin 的发行版上编译 Poly/ML Standard ML 编译器。一经制作，我得到

这里我有 binutils/ar 版本 2.29.1。

在带有 binutils/ar 版本 2.22.52 的 Fedora 机器上，编译通过。

我将 binutils 2.22.52 下载到我的 MobaXterm 并尝试编译它，但我收到与上面相同的错误消息：

我看到了两个可能的原因：

• 在u2.22.52 和 2.29.1 版本之间不推荐使用 ar 选项
• MobaXterm 使用 Busybox，其中包含有限版本的 ar

什么是真正的解释，如何安装理解 u 选项的 ar？

我想在 SML 中使用 Visual Studio ti 程序，但我不知道如何在命令提示符下安装 Poly

我试图检查列表是否在 PolyML 中排序。该列表不是内置类型，而是由我定义为：

我不知道如何检查递增和递减顺序，所以现在我将自己限制在递增顺序（欢迎任何关于更通用解决方案的提示！）。

所以我的方法如下：

第一件事Int.minInt不是类型Int，所以我有一个类型不匹配。我怎么能解决这个问题？
其次，我担心这种方法很幼稚，我该如何以更好的方式解决问题？

感谢您的时间，祝您有美好的一天！

我想列出 SML 库的每个功能。有没有类似帮助命令的东西？

例如：

有没有办法在 PolyML 终端中查看此列表？

我需要在终端上查看它而不使用谷歌。考试期间我不能上网，也不能带笔记。

在一次考试中，我发现了这个练习：“编写一个带有文件名的函数（即“text.txt”）并返回一个不带空格的字符列表”

例如：

"text.txt" 包含 函数必须返回的"ab e ad c" -> [#"a",#"b",#"e",#"a",#"d",#"c"]

解决这个练习的最简单方法是什么？

我尝试使用库“TextIO”和函数“input1”，但我被卡住了。我不知道如何递归地实现该功能。有人可以帮忙吗？

I'm trying to create a List reading a text file, for example I have a text file like this "1 5 12 9 2 6" and I want to create a list like this [1,5,12,9,2,6] using SML

在 freebsd 12 上，PolyML 中的 xwindows 模块没有实现，所以我试图在端口树之外编译它的源代码。它确实可以编译，但我无法在 poly 中打开 XWindows 模块。

我所做的是：

• 确保将 libX11 复制到 /usr/lib，并在 /usr/include 中为 Xm 和 X11 建立到 /usr/local/include 的符号链接。

• 由于 clang 错误，在 xwindows.cpp 中插入了一个空格

• 添加了这些选项来配置：--x-includes=/usr/local/include/X11 --x-libraries=/usr/local/lib/ --with-x --with-system-libffi

• 设置环境：LDFLAGS=-L/usr/local/lib/gcc7，libstdc++所在的位置

• 尝试使用 clang 和 gcc7

代码编译没有进一步的错误。有一个文件 xwindows.o，cc 为 375160 字节，gcc7 为 291184。日志包含 Created 结构 XWindows Created 结构 Motif

我从编译位置运行 poly，并打开 XWindows poly: : error: Structure (XWindows) has not been declared 在打开的 XWindows 附近找到。

非图形模块正常打开

我在这里做错了什么？感谢指点

（更新：感谢 David，XGetPixel 问题已得到解决）

我正在从 rosettacode.org 为 Standard ML 练习一些任务，但我被 XWindows (PolyML) 的 XGetImage 调用困住了。对于 XYPixmap 格式的每次尝试，我都会收到一个 badValue 错误。我所做的是

XGetImage 调用返回

xwindows.cpp 源代码并没有让我变得更聪明：

ZPixmap + XGetPixel 在最近的 polyversion 中工作正常，这篇文章的其余部分已经解决：

当我尝试 ZPixmap 时，我得到了

但

PolyML 崩溃

Xlib 编程手册第 6.4.2 章中的 XGetImage 示例（C 语言）似乎没有做任何特别的事情，只是使用了显示和可见窗口。我的窗口胜利是可见的。我也尝试了根窗口，但这也不起作用。我想我已经正确地遵循了 PolyML for X 手册。

这里缺少什么？

我被困在 Poly/ML 中的函数式编程练习中：

执行 ''a list -> int 类型的函数，以便将 ''a 元素列表作为参数。该函数必须返回列表中元素的数量，而不计算重复项。

我真的不知道如何解决它。

在此先感谢您的帮助！