标签[sml] 第5页 - 堆栈内存溢出

[英]Mutual recursion higher order

有没有一种方法可以使用相互递归来使用现有状态创建 state 机器。到目前为止，这是我所拥有的，但我想要的是高阶 function 采用这些通用（不知道下一个）状态的地方。 ...

[英]SML: Exception while reading a line of integers

我想从包含 2 行的文本文件中读取：第一个将包含 2 个整数 a, b 第二个将包含 b 个整数 x1, x2,.. xb。例如，它将采用这种形式：我收到此错误消息：第 19 行：基本上是readInts i sumd acc has如果有帮助的话。我的代码的问题是因为 rea ...

StandardML 阶乘评估在 Poly/ML REPL 中进入无限循环

[英]StandardML factorial evaluation enters infinite loop in Poly/ML REPL

以下阶乘函数很好...... 但以下将 Poly REPL 带入无限循环。想知道是什么原因造成的？？ ...

SML 中的 If & Else & 模式匹配？

[英]If & Else & Pattern Matching in SML alltogether?

我一直在尝试编译这段代码 3 个小时，但没有任何改进。我知道我的数据类型编译没有问题，也是模式匹配的第一种情况。但是当第二种情况出现时（一个节点有两个子节点），它不会编译。问题似乎符合 if 和 4 条件。 datatype Heap = Leaf of int ...

为什么导出固定性声明是一个“坏主意”？

[英]Why is exporting fixity declarations a "bad idea"?

根据 David MacQueen 在他对标准 ML报告1的思考中的说法，词法范围的中缀指令是来自 Pop-2 的不明智的遗产。它们使解析复杂化，并且它们不能很好地与模块系统一起工作，因为中缀指令不能由结构导出或在签名中指定（添加这样的功能也不是一个好主意）。现在我同意他的观点，即中inf ...

一些 sml 代码，但我不知道它是如何工作的

[英]Some sml codes but i don't know how that work

我不知道那些 sml 代码是如何工作的。我知道 map function。但是关于无处不在的代码，我不知道我对此有多少想法。请告诉我谢谢 ...

（sml）我可以获得一些帮助来实现计算案例数量的 function 吗？

[英](sml) Can I get some help implementing a function that counts the number of cases?

我可以获得一些帮助来实现计算案例数量的 function 吗？首先，很抱歉一遍又一遍地问你同样的问题。我已经尝试实施 function 一个多星期了，但我没有掌握它的窍门。这是我现在写的代码。我知道这是一个非常无知的代码。但是我已经练习过实现你回答的功能，我根本不明白如何应用它们。这是 ...

有没有办法在 if - else 语句中将两个动作作为 then 的结果？

[英]Is there a way to put two actions as a result of then in the if - else statement?

我想在if~~then~~中做两个结果。例如，如果 if 语句为真，如**/ /** ，有没有办法让它做两件事？ ...

(sml) 我要统计列表中对应值的个数

[英](sml) I want to count the number of corresponding values in the list

我想知道 1 美元可以用 1、5、10、20、50 美分表示的情况。例如， count(100,[50,25])是：因为 50 * 1 + 25 * 2， it = 3:int is printed. 但是，在我的代码中，只打印了列表的前面部分，所以即使我count (100,[50,25]) ， ...

Sml 元组长度

[英]Sml tuples length

我对是否有可能获取 sml 中的元组长度感兴趣？！查看示例我想要它来解决问题有一个问题说要获取学生列表，其中包含每个学生信息的列表，但是学生信息在两种类型中有所不同，有些就像有些就像所以它想返回学生列表中每个列表的第一个元素，如下所示：这里有更多信息 M Molbdnilo @molbdn ...

SML 语法分解

[英]SML Syntax Breakdown

我正在尝试学习 SML（为了完全透明，这是在准备考试（考试尚未开始）），而我一直在努力解决的一个领域是更高级别的功能，例如 map 和 foldl/r。我知道它们用于在 oop 语言中使用 for 循环的情况（我认为）。我正在努力解决的是折叠中的每个部分或 map function 正在做什么。 ...

如何以 O(n) 时间复杂度将树转换为 SML 中的列表？

[英]How can I convert a tree to a list in SML in O(n) time complexity?

列表必须是有序遍历。这是我到目前为止所拥有的：这不是 output 列表中的正确顺序，我现在很困惑。请帮忙。 ...

如何将 Real 转换为 Int？

[英]How to convert Real to Int?

假设我有 0.0 如何将其转换为 0？我知道我可以使用Real.fromInt(0)做相反的事情 (0 -> 0.0) 但是Real到Int呢？在 SML 文档中，我读到了 function toInt ，但没有示例，因此我可能以错误的方式使用它。我试过这个： Real.toInt(a ...

SML：带常量的模式？

[英]SML: pattern with constants?

我正在尝试在 SML 中编写与 function 匹配的模式，但出现此错误Error: non-constructor applied to argument in pattern: - 我正在尝试做这样的事情： ...

为什么在 Let while 循环里面不起作用 SML

[英]Why inside Let while loop does not work SML

我是标准 ML 的新手，我有一个问题，在下面的代码中，当我在没有让入结构的情况下运行时，代码会运行并给出结果。当我放入让入时，它会显示语法错误。谁能帮我？ ...

为什么我的类型不起作用？（使用类型 'a pred = 'a -> bool）

[英]Why are my types not working out? (Use of type 'a pred = 'a -> bool)

我一直在这个问题上停留了一段时间。我一直在编辑、审查和更改类型，但我无法让类型检查器接受我正在做的事情，可能是因为我不完全理解错误/我在这方面出错的地方。我正在使用以下类型：type 'a pred = 'a -> bool 我相信这意味着我可以使用'a pred作为表示'a -&gt ...

使用 fold 计算范围内的数字

[英]Use fold to count the number in range

我有一个任务：使用 fold 计算范围内的数字。完成下面的 function numberInRange 类型为 int list * int * int -> int，它采用三个 arguments (int list, int, int) 并返回一个 int，其数量在 lo 和 hi ...

SML：定义一个数组

[英]SML: define an array

请原谅我，如果它是微不足道的，但我正在阅读 SML 中 arrays 的文档，我很困惑。我看到了很多函数，但我如何制作自己的数组；如何初始化一个？（一切，我尝试失败）例如一个列表是这样初始化的：如果我希望 [1,2,3] 成为 1x3 数组？我找到了如何初始化一个数组但只有一个值，例如 ...

我们如何为 SML 中的 if-then-else 表达式实现 eval function 案例？

[英]How can we implement an eval function case for the if-then-else expression in SML?

我们如何为 SML 中的 if-then-else 表达式实现 eval function 案例？ SML 中的这个主题对我来说具有挑战性和新意。 ...

让绑定和动态 scope 在 SML

[英]Let bindings and dynamic scope in SML

我正在 Coursera 上学习编程语言课程，但我无法理解以下关于 static 和动态范围的示例。考虑代码示例和与之相关的测验 y 在词汇 scope（如 ML）和动态 scope（不像 ML）下有什么值？ The answer to the question is " 8 under l ...