SML 是否为非常大的集合提供了有效的不可变列表实现，或者是否应该使用数组和变异来进行这种优化？
[英]Does SML provide an efficient immutable list implementation for very large collections, or should arrays and mutation be used for this optimization?
每次我们对列表进行 cons 和解构以及类似操作时，我们都会创建原始列表的副本。 对于非常大的集合，这可能会成为性能问题。 据我了解，为了改善这种情况，一些编程语言将列表实现为可以更有效地复制的数据结构。 SML中有这样的东西吗？ 也许在语言定义中，或者作为依赖于实现的特性？ 如果没有这样的数 ...
如何声明与标准 ML 中的任何函数匹配的类型？
[英]How to declare a type that matches any function in Standard ML?
我正在尝试声明一个包含两个条目的记录类型，一个名为id是string ，另一个命名algorithm可以是任何函数。 根据我的调查，我需要使用参数多态来声明记录中algorithm条目的类型。 像这样的东西： type subject = {algorithm: 'a -> 'b, id: ...
SML - 查看两个无序列表是否相等（具有相同的值，并且这些值出现的次数相同）
[英]SML - See if two unordered lists are equal (have same values, and the values appear the same amount of times)
正如标题所说，我试图查看两个无序列表是否包含相同的值，以及这些值是否在这些列表中出现的次数相同。 给定的任务要求不要对列表进行排序。 这是我到目前为止所做的： 我的逻辑是递归比较第二个列表（从现在起l2 ）是否包含第一个列表（从现在起l1 ）的hd （=第一个元素），如果包含，则比较l1的tl ...
如何在 Haskell 中定义非固定运算符？
[英]How do I define nonfix operators in Haskell?
在 SML 中，“nonfix”运算符可以像这样使用： 在 Haskell 中它会是这样的： 但是我没有在 Haskell 中找到与“nonfix”等价的东西。 ...
在 sml 中求和两个列表
[英]Sum two list in sml
sml 中有两个列表，我想将一个添加到另一个列表中 结果应该是 [5.5, 7.7, 9.9]。 我不确定我做对了，但基本上我试图将这两个列表传递给一个有趣的东西，然后做类似 one[0] + two[0] 的事情 有没有更好的方法呢？ 谢谢~ ...
如何从 POSIX 文件描述符中获取 TextIO.instream？
[英]How do I get a TextIO.instream from a POSIX file descriptor?
如果我有一个Posix.FileSys.file_desc类型的 POSIX 文件描述符，如何将其转换为TextIO.instream ？ 我想做与如何获取使用 TextIO.openIn 打开的文件的文件描述符相反的操作？ ...
为什么这两个标准 ML 函数的签名不同？
[英]Why is the signature different for these two Standard ML functions?
我正在尝试实现一个 function 检查列表是否为空（类似于List.null ）。 这有签名val isEmpty = fn: ''a list -> bool :fun isEmpty ls = ls = [] 这有签名val isEmpty = fn: 'a list -> ...
如何获取使用 TextIO.openIn 打开的文件的文件描述符？
[英]How do I get the file descriptor of a file opened using TextIO.openIn?
在标准 ML 中，我使用TextIO.openIn "myfile.txt"打开了一个文件。 这将返回TextIO.instream类型的值。 如何从此流中获取Posix.FileSys.file_desc类型的 POSIX 文件描述符？ ...
如何将 SML/NJ HTML4 表示形式转换为字符串
[英]How to convert SML/NJ HTML4 representation to a string
使用 SML/NJ 库的 HTML4 库时，如何将 HTML4 的标准 ML 表示形式转换为字符串？ 例如，如果我有下面的 HTML 表示，我可以使用什么函数来获取类似于<html><head><title>Example</title></h ...
SML/NJ 中的 foldl 函数：子句右侧与函数结果类型不一致
[英]foldl function in SML/NJ: Right-hand-side of clause doesn't agree with function result type
我有一个名为dfs的函数，它在由元组列表表示的图中生成所有访问节点的列表，例如[(node1,node2,weight),....]并且我收到此错误： 代码 ： ...
OS.FileSys.mkDir 当目录已经存在时不会引发异常
[英]OS.FileSys.mkDir that does not raise exception when the directory already exists
我正在尝试编写一个 function 创建目录但在目录已经存在时不会引发错误。 这是 function：fun ensureDir s = (OS.FileSys.mkDir s) handle OS.SysErr (_, SOME Posix.Error.exist) => () ...
什么？ SML 中的数据类型是什么意思？
[英]What does ?. datatype mean in SML?
我正在编写一个 SML 二叉搜索树代码，并且正在调试中序、前序和后序。 我不断收到一条错误消息： 我知道 tycon mismatch 是什么，但我不知道为什么 tree 有一个？。 在它的前面。 这是树： 这是订单代码： 这是文本代码： ...
如何找到下面给出的 BST 的最小值和最大值？
[英]How to find the minimum and maximum values of the BST given below?
以下是我目前拥有的代码。 不确定它是否正确，但数据类型行必须保持不变。 我正在尝试创建一个 getMin 和 getMax function。下面是它的要求。 对此的任何帮助将不胜感激。 谢谢！ ...
即使在附加标准 ML 后列表也是空的
[英]Empty list even after appending Standard ML
我有一个 function，它接受一个列表，然后根据条件将元素放入两个不同的列表中。 但是，当我检查返回的列表时，它们总是空的。 为什么会这样？ 运行后得到的 output 如下： ...
与 SML 相比，Isabelle foldl 的行为
[英]behaviour of Isabelle foldl compared to SML
作为 Isabelle 的初学者，我尝试从 rosettacode.org 100 doors基于标准 ML 实现转录一个简单的编程任务。 我检查了这个在线 SML 解释器中的 SML 代码，尤其是 foldl 的调用，它运行良好。 应用 Isabelle 的foldl时，我收到 function ...
递归反对称计数器 SML
[英]Recursive Anti-Symmetrical Counter SML
这是一个反对称递归 function，它将获取一个对列表。如果该列表是反对称的，则将返回一个空列表，如果该列表是对称的，它将仅返回对称的两个对。 这是一个示例 output。 这是我到目前为止所拥有的。 我收到无法理解的错误，但类型和操作数似乎没问题。 ...
如何分配用户定义的 sml 数据类型以具有 integer（作为字符串）数据类型？
[英]How can I assign user defined sml datatypes to have a integer (as string) datatype?
对 sml 很陌生。 我的问题是我正在尝试创建自己的数据类型，但我不能在属于该数据类型的项目的命名约定中使用 int 抛出的错误： 有什么方法可以将这些数字转换为 sml 解释器可以接受的字符串吗？ 我真的不想将我的变量命名为“三百五十瓦”或任何东西。 我尝试查找一个 toString 并只是将变 ...
对称关系递归 SML
[英]Symmetric Relation Recursive SML
在 ML isRelationSymmetric 中定义一个递归谓词，它接受关系 r（表示为元组列表），如果 r 是对称的则返回 true，否则返回 false。 这是我到目前为止所拥有的。 我只能检查前两个元素的对称性，但我需要检查 rest。 ...
具有三个变量助手的指数的递归 ML function function
[英]Recusive ML function of exponential with three variable helper function
我需要帮助弄清楚我需要递归地为助手 function 做什么，我有点迷失了我需要为助手 function 做什么。 这是问题和示例输入。 这是助手 function 所做的示例这是我到目前为止所写的 ...
SML 未捕获异常为空
[英]SML Uncaught Exception Empty
我对 SML 很陌生，正在尝试实现选择排序。 然而，我遇到了一个未捕获的空错误，似乎不明白为什么。 我将不胜感激关于我的错误在哪里以及如何解决它的建议。 ...