问题标签 [smlnj]

大家，ML中的以下作业有什么区别，

和

我编写了一个 ml 函数，在输出中我得到了 = Mary ("a",[Zary #,Zary #]) 其中 Mary 和 Zary 是构造函数。但正如您所见，输出中有一些“#”。如果我做 val Mary("a",x) = out; 然后它显示 x = [Zary("b"),Zary("c")]; 哪个是对的。

我想获得完整的输出而不是哈希。请帮助我。

我想在 SML 中实现任意签名。如何为该签名上的术语定义数据类型？我需要它来编写检查术语是否格式正确的函数。

我正在浏览一些笔记，我意识到有些不对劲。

在模拟惰性计算（没有open Lazy;）时，可以对一系列计算执行以下操作。

但是为了获得悬挂的尾巴，类型不匹配。

ltail 的正确类型需要更改什么？我知道尾巴没有悬挂会发生什么。我只是想弄清楚这些笔记对暂停版本说了什么。

我从未在 Windows 机器上使用过 SML（以前在带有 emacs 的 unix 机器上使用过）。

在我的生活中，我在 sml 环境中找不到当前目录。如果我尝试：使用“filename.sml”它会引发异常..我无法找到放置文件的位置..

btw 文件是用 notepad++ 编写的，仅以 .sml 扩展名命名。

这绝对让我发疯。我能想象到的最简单的事情，我做不到。

我只想计算机阶乘输入一个整数并输出一个实数。

我试图以多种方式胁迫。

我从这里下载并使用 DMG for x86 安装了 SML NJ 实现：http: //smlnj.cs.uchicago.edu/dist/working/110.72/index.html

但是，当我打开终端窗口并转到 /usr/local/smlnj-110.72/bin 并运行 sml 时，我得到一个 bash 命令未找到。我对 UNIX 不是很熟悉，所以我想我做错了什么。

谢谢您的帮助！

我想访问元组的随机成员，但不确定如何设置#n变量。

这是我的代码：

这就是我通常访问的方式，比如成员 #2：

所以我的问题是如何#2在上面的例子中设置一个变量？

非常感谢您提前！！

如何在 SML 中实现一个获取树并返回列表的函数。根据树的后序扫描，该列表由树节点中的值组成。

树datatype是：

我有一段时间没有使用 SML 了，我遇到了这行代码：

这是否将“内存”定义为一个函数，它接受一个字符串 a 返回一个 int，或者完全是其他的东西？我搜索了一个类似的声明，但我似乎找不到或弄清楚它的作用。

当我把它放入 SML/NJ 时，我得到了这个：