总结数字列表时，SML 中的双冒号是什么意思？
[英]What does double colon mean in SML when summing up list of numbers?
我不太明白遵循 function 背后的逻辑。 这个 function 用于对列表中的数字求和。 但是导师并没有过多地说明::在这里做了什么。 教程中的原始列表在列表中有 5 个数字/项目 (1,3,5,7,9)。 我以为导师首先用五个字母（a，r，e，s，t）命名这些项目，但 function ...
导致 SML 错误的原因：Exception-InternalError: asGenReg 在编译时引发
[英]What causes the SML error: Exception- InternalError: asGenReg raised while compiling
我正在学习 SML，但无法弄清楚为什么以下教科书代码会产生错误： 错误是： 这适用于 Poly/ML 5.7.1。 该代码计算复数(x,y)的倒数。 我尝试添加; 和括号无济于事。 奇怪的是，以下更改（不正确）的定义可以正常工作。 错误消息的信息量不是很大。 有人可以帮助解释错误在哪里以及如何解决吗 ...
为什么这个 SML 代码评估为 7 而不是 6？
[英]Why doe this SML code evaluate to 7 and not 6?
我已经看到这个 SML 代码作为内部绑定遮蔽外部绑定的示例。 在示例之后，作者写道，上面的代码计算结果为“7”，当我运行它时，我得到了相同的结果： 我不明白为什么。 如果 x “遮蔽”了外部绑定，那么在最初的let中，它应该是2 ，对吗？ 所以 function 应该是： 即使我误解了阴影的工作原 ...
在 SML 中如何将字符转换为真实字符？
[英]How do you convert a character to a real in SML?
如果我想这样做： 将#”N”转换为实数什么 ML 表达式可以做到这一点？ 以同样的方式：\ 是否有像上面提到的那样可以转换 char -> real 的 ML 表达式？ 输入将类似于： output 将是： ...
min-caml 编译器如何得到类型错误？
[英]How can min-caml compiler got the type error?
我正在学习https://github.com/esumii/min-caml floder测试下的示例ack.ml： 如果我换行 对此： 然后make，出现错误： 我搜索源，找不到 Typing.Error 或 Fatal.so 的信息，所以 min-caml 如何捕获类型错误？ocaml 编 ...
在签名中提供变量的类型有什么区别？
[英]What difference does providing the type of a variable in a signature has?
在以下代码中： 我运行Digit.test 10; 在 SML 编译器中针对上述代码中的行type digit的两种不同情况： 如果是type digit ： 在type digit = int的情况下： uncaught exception FailTest 我的问题很简单，当我们插入= int ...
如何判断我是否需要使用管道？
[英]How to tell if i need to use piping?
我做了一个 function 来识别某个 object 是否重复如下：（PS：测试通过） 但是，如果我从not o isDuplicated o patternToVars中删除o并使其not isDuplicated o patternToVars它返回以下错误： 问题是“为什么isDuplic ...
使用高阶 SML 代码，在 Java 中编写嵌套函数
[英]Using a higher order SML code, Write Nested Functions in Java
我现在正在处理嵌套函数的任务，但是在 java 中这是不可能的。 我们曾考虑过 SML 中的嵌套函数。 由于许多语言都不允许嵌套函数，因此我们认为激活记录带有嵌套链接。 但是，我们被认为如何在图表和理论中执行这些操作，并希望在 Java 中执行这些操作，但我不知道如何在 Java 中执行这些操作，因 ...
如何使用一个衬里 msl 遍历列表？
[英]how to iterate over a list using one liner msl?
我有一个列表和一个元组（开始，结束，间隔）我正在尝试迭代列表并返回列表中的元素从开始到结束间隔步骤。 例如： 问题是我想编写一个 function 只使用一行来执行此操作，这意味着没有递归 function 并且没有 if 条件也没有模式匹配我开始认为我可以首先将列表剪切到开始和结束之间的元素，使 ...
如何跳过 sml 中的列表？
[英]how to step over a list in sml?
我有一个列表和一个元组(start,end,interval)我正在尝试迭代列表并返回列表中的元素从开始到结束间隔步骤。 例如： 问题是我不能使用递归，我想使用foldl但问题是如何跳过我不想使用list.nth的元素？ 我会提出一些小提示！ 谢谢你 ...
SML 中的数据类型和类型未按预期工作
[英]datatype and type in SML not working as intended
我正在尝试基于monadic parsing paper实现一个小解析库。 我想用 SML(NJ) 来做，因为我正在学习 SML。 这是我到目前为止所拥有的：type 'a parse_data = ('a * char list); type 'a parse_result = 'a parse_ ...
切片列表的 SML 中的 function？
[英]A function in SML that slices a list?
我正在尝试用 SML 编写一个 function 来分割列表。 Slice xy ls 前任。 Slice 1 3 [0,1,2,3,4]和 output [1,2,3] 这是我必须开始的 在 SML 中编写一个切片 function，其功能类似于 Python 列表切片运算符。 例如， sli ...
SML，如何查找列表中最小数字的出现次数？
[英]SML, How to find number of occurrences of the minimum number in a list?
在 SML 中是否可以找到列表中最小数字的出现次数？ 我有代码来查找一个数字的出现次数，但我对如何找到最小值并使用它来查找最小 num 的数量感到困惑。 谢谢！ ...
高阶 SML 问题
[英]High order SML questions
因此，我正在尝试创建一个高阶 sml 函数，该函数接受一个数字并返回所有函数并返回其因子。 我曾经做过一些问题，我将获取一个值列表并返回可整除的值，但我从未做过任何事情，例如获取一个数字并从中列出一个列表。 按照问题： 定义一个函数 factorize = fn: int -> int li ...
为什么在皇后区定义类型？
[英]Why there define the type in the queen?
《工作程序员的ml》第7.1章代码形式： 上面的代码完全符合本书（省略;）。我和要测试的代码： 它工作正常。 如果我省略类型定义行： 它也很好用！ 那么为什么要写类型定义呢？ 似乎只需要一个空列表 [] 作为初始化列表。 谢谢！ ...
为什么标准 ml 中的此函数附加列表不起作用？
[英]Why this function append list in standard ml can't work?
在 ocaml 中，这可以工作： 使用 sml(sml/nj) 时： 我看到了《工作程序员的ml》第258页： 那么为什么在 sml 中出现这个错误？谢谢！ ...
SML 中的 let-in-end 递归如何
[英]How does recursion looks like for let-in-end in SML
有人可以教我 let-val-in-end 情况下的递归是什么样的吗？ 我很难理解这个过程，即循环的崩溃 [SML] 示例：“c”的行为如何？ 我的意思是崩溃 或者 x 和 y 在每个循环中的表现如何？ 我知道它就像在 JS 中一样解构。 ...
SML 中 List.nth 中实际发生了什么？
[英]What is actually happening inside List.nth in SML?
有人可以帮我理解 SML 中的 List.nth 吗？ 它从列表中输出指定的元素。 一种） b) 例如： 使用递归实现map函数将是： 有趣的地图_ nil = nil | 映射 f (a::b) = (fa) :: (map fb); 使用递归实现foldr函数将是： ...
如何编写一个函数 vmProduct 将大小为 n 的行向量与具有 n 行 m 列的矩阵相乘以在 SML 中生成大小为 m 的向量
[英]How to Write a function vmProduct that multiple a row vector of size n with a matrix with n rows and m columns to produce a vector of size m in SML
如何编写一个函数，将大小为 n 的行向量与具有 n 行 m 列的矩阵相乘以生成大小为 m 的向量。 例如， ([1,2,3], [[1,1], [2,1], [3,1]])应该返回[14, 6] 。 我相信可以利用这两个功能： ...