运算符和操作数不一致 [tycon mismatch]

[英]operator and operand do not agree [tycon mismatch]

我正在尝试在 sml 中编写一个 function ，它接受一个对列表并返回所有元素的两个列表的对如果输入是 [(1, 2.0), (2, 3.0)] output 应该是 ([ 1, 2], (2.0, 3.0)) ; sml 解释器返回以下 err 的次数越少越好 ...

如何递归地将整数转换为 SML 中的字符串？

[英]How to convert ints to strings in SML recursively?

我做了一个非常小的程序，它接受一个 int 并将其转换为 SML 中的字符串： 我一直在努力以递归的方式实现这一目标。 有什么帮助吗？ 此外，我必须接受一个字符串并将其转换为我通常通过 stackOverflow 帮助完成的 int，但 '~' 也将所有内容都搞砸了； 然而，这可以递归地完成。 任 ...

您将如何在 SML 中手动跟踪此 function？

[英]How would you manually trace this function in SML?

我试图了解 SML 中 function 的递归调用，其目的是在列表中找到最高的 integer 值。 由于教育原因，这个 function 不好。 我知道由于重复的递归调用，上面的 function 以非常慢的方式提供了正确的结果。 我不明白最后一个else if和最后一个else究竟是如何发生 ...

如何从源代码安装 sml/nj？

[英]How to install sml/nj from source?

正如文档所说，我可以成功安装 sml/nj： http://smlnj.org/dist/working/110.99/install.html 但是如何从源代码安装，文档说的方式让我下载config.tgz，而不是脚本install.sh可以从网络下载和编译其他文件但是如果我想编辑源代码并测试结 ...

cpn 工具和 sml 中的真实颜色集

[英]real colorset in cpn tools and sml

我是 cpn 工具和标准 ml 语言的新手。 我想在 cpn 工具中定义真正的颜色集，但它显示错误： 如何在不更改 IDE 的情况下做到这一点？ 感谢您的帮助。 ...

SML - 在快速排序算法中找不到“未捕获异常空”的位置

[英]SML - Can't find where "uncaught exception Empty" is thrown in quicksort algorithm

我正在尝试在不使用任何 List.nth 函数的情况下编写快速排序算法。 我想出了这个，但是当我尝试测试它时，它最终抛出了一个“未捕获的异常空”。 我似乎无法找到引发此异常的位置。 这是我的代码： ...

标准 ml 和 Cpn 工具中的除法运算符错误

[英]division operator error in standard ml and Cpn tools

我是标准 ml 的新手，我正在使用 cpn 工具。我有一些常量： 我想计算 PHY/RB 然后我创建了val x=PHY/RB; 在 cpn 工具中，但是当我编写除法运算符时出现错误是什么问题？ 请帮我解决这个问题。 谢谢 ...

在 sml 中输入 int 与 [int ty]

[英]Type int vs. [int ty] in sml

我的问题似乎很简单，但我似乎无法在任何地方找到答案。 我不确定 sml 中的 int 类型和 [int ty] 类型之间有什么区别。 尝试使用 int 元组列表作为 function 的输入时，出现 [tycon mismatch] 错误。 例如： 输入：number_in_month ((199 ...

错误 SML：错误：未绑定的变量或构造函数：valof

[英]Error SML : Error: unbound variable or constructor: valof

我正在参加华盛顿大学提供的编程语言课程，在其中一堂讲座中，弹出的代码为 Dan 教授工作，但是，我收到未绑定的变量或构造函数：valof 错误。 想不通。 它是 smlnj，并在 emacs 上运行，如果它会产生任何帮助。 这是错误： options.sml:7.37-7.42 错误：未绑定的变量 ...

如何与 SML 和 CM 共享数据类型声明

[英]How to share datatype declaration with SML and CM

我对在我用 CM 编译的 SML 项目中使用另一个 SML 文件中的一个 SML 文件中的定义有点困惑。 如果B.sml已在project.cm文件中声明，则似乎A.sml只能使用 B.sml 中的签名和结构定义。 我想在 B.sml 中声明一个datatype MyType = MyConstr ...

如何在 sml 中部分实现 function

[英]how to partially implement function in sml

我正在阅读《现代编译器在 ML 中的实现》一书，同时学习 sml。 我被第一章中的一个练习（1.1.b）难住了。 我们被要求实现一个维护键/值对的二叉树，键是字符串，值是参数化类型。 我的数据类型定义如下type key = string datatype 'a tree = LEAF | TRE ...

如何在 ML 中打印

[英]how to print in ML

我已经搜索并发现有几个人在问这个问题，但我找不到明确的答案。 如何在 sml 中打印非字符串？ 例如，如果我有一个 ADT 实例，即由datatype声明的类型，并且我想打印该值以进行调试。 我是否负责编写 function 将这样的 object 转换为字符串，然后打印字符串？ 或者是否有一些我应 ...

在 ML 中使用 let 解构元组

[英]destructuring tuple with let in ML

在 sml 中，我可以在let中使用元组吗？ 如果是这样，语法是什么？ 我可以要求这是同心模式匹配，但似乎应该有一个更少的样板方式。 在下面的let中，我想将v1和v2绑定到调用interpExp返回的元组的两个值。 然后我想用其中一个值调用interpExp以获得另外两个值。fun perform ...

如何在 ML 中对 ADT 进行模式匹配

[英]How to pattern match an ADT in ML

我是 ML 的新手，我正在尝试找出模式匹配的语法。 有人可以帮我理解编译器错误，以及在将其第二个参数绑定到变量e时模式匹配AssignStm的正确语法吗？ 也许我正在尝试做的事情根本不受支持？ 我有一个 ADT 定义如下。type id = string datatype binop = Plus ...

SML：递归调用快速排序时出现值限制错误

[英]SML: Value restriction error when recursively calling quicksort

我正在编写一个快速排序 function 进行练习。 我已经知道 5 行功能快速排序； 但我想通过让它扫描一次列表并返回一对将原始列表分成两半的列表来改进分区。 所以我写道：fun partition nil = (nil, nil) | partition (pivot :: rest) = ...

为什么在let中定义的一个function可以在function之外使用？

[英]Why a function defined in let can be used outside of the function?

这是《compiling with continuations》一书中的代码，第 16 页（我用 f# 重写了它）： 所以x可以是let中定义的function g 。 也许按照ml语法是可以的，但是在“工程实践”中，好像function的“let in”中定义的function，或者where ...

如何找到此代码的空间和时间复杂度

[英]How do I find the space and time complexities for this code

这里的 root(n) function 的时间复杂度为 O(log(n))：数字在每一步都除以 4，function 本身的代码为 O(1)。 isPrime function 的时间复杂度为 o(sqrt(n))，因为它从 1 到 sqrt(n) 迭代运行。 我现在面临的问题是这两个函数的顺 ...

从sml中的列表中删除元素

[英]Removing elements from list in sml

我是 SML 的初学者。 我发现以下代码似乎有效； 但是，我无法理解它是如何工作的。 此代码删除任何类型列表中的重复项。 我尝试使用更基本的语法来复制它 但我不能做更多。 有人可以帮助我吗？ ...

在 SML NJ 中插入排序比较 function

[英]insertSorted comparison function in SML NJ

我之前已经发布了一个类似的问题，但我认为我需要重新表述我所问的问题。 我早些时候在我想要完成的事情上得到了一些很大的帮助。 所以，我现在想知道的是如何在我的代码中传递 comp function 以便它可以定制。 我希望能够跑步 哪个会返回 同时还能够翻转标志并能够运行 哪个会返回 继承人我到目前 ...

SML中的自定义比较器排序？

[英]Custom comparator sort in SML?

我在 SML / SMLNJ 中遇到了这个问题，我希望得到一些指导。 所以我有一个问题，我需要制作一个名为 insertSorted 的 function，它需要一个数字、一个比较语句和一个需要插入的（假定已排序）列表。 我不知道如何开始处理这个问题，所以任何帮助都会很棒。 我的想法是将两个列表拆 ...