为什么当传入空列表时我的排列函数会发出警告？
我的排列函数： fun perms [] = [[]] | perms (x::xs) = let fun insertEverywhere [] = [[x]] | insertEverywhere (y::ys) = let fun consY list = y…
简单的 SML 代码错误
我刚刚开始学习 SML，并且仍在理解其错误消息的过程中。 当尝试输入下面的函数定义时， val rec : real->real = fn 0.0 => 0.0 | n:real => 1.0/n; 我…
ml 数据类型（带有原始函数）如何制作？
我有这个数据类型 datatype e = X | Const of int | P of e*e | S of e*e | M of e*e | D of e*e; 和这个过程 val rec evl = fn (Const k)=>(fn x=>k)…
打开 SML 文件 - 使用失败
我使用以下命令在“SML of New Jersey”中打开了一个文件：use "c:\\work.sml"，它给了我下一个问题： [openning c:\\work5.sml] [use failed: Io: op…
与“SML of New Jersey”合作
我下载适用于 Windows Vista 的“新泽西州的 SML”。 我正在处理在 c 库中调用“a.ml”的 ML 文件。 现在我想将文件中的所有命令加载到解释器中，但我…
令人困惑的类型声明？
我已经有一段时间没有使用 SML 了，我遇到了这行代码： type memory = string -> int; 这是否将“内存”定义为一个接受字符串 a 返回 int 的函数，或…
SML - 如何通过树的后序扫描创建列表
如何在 SML 中实现获取树并返回列表的函数。该列表由根据树的后序扫描的树节点中的值组成。 树数据类型是： datatype 'a Tree = Leaf | Branch of 'a …
如何访问元组的随机成员？
我想访问元组的随机成员，但不确定如何将 #n 设置为变量。 这是我的代码： val lis = ("a","b","c","d") val randNumber = Random.randRange (1,4) (R…
在 OSX 10.6 下运行 smlnj 时出现问题
我从此处使用 x86 的 DMG 下载并安装了 SML NJ 实现： http://smlnj.cs.uchicago.edu/dist/working/110.72 /index.html 但是，当我打开终端窗口并转到…
在sml中使用操作（smlnj windows当前目录在哪里）
我从未在 Windows 机器上使用过 SML（之前在带有 emacs 的 unix 机器上使用过）。 在我的一生中，我在 sml 环境中找不到当前目录。如果我尝试：使用“…
