关联标签
7得票1回答
ML of NJ中的嵌套本地声明
大家好，我有这段代码片段： local helper(f, i, j) = local fun NTimesF(f, n:int) = if n = 1 then fn (x) => f(x) ...
7得票1回答
如何在SML的let绑定中编写相互递归函数？
我希望能做类似以下的事情： fun f () = let fun a() = b() and fun b() = a() in () end 其中a和b是相互递归的有意义的函数。然而，这会得到： Error: syn...
7得票1回答
标准ML类型中的问号是什么意思？
例如： vagrant@precise32:/vagrant$ rlwrap sml Standard ML of New Jersey v110.76 [built: Mon May 12 17:11:57 2014] - TextIO.StreamIO.inputLine ; [auto...
7得票1回答
在SML中使用操作（如何在Windows的SMLNJ中找到当前目录）
我以前在Unix机器上使用过SML（使用emacs），但从未在Windows机器上使用过。 在SML环境中，我始终无法找到当前目录。如果我尝试使用“filename.sml”，它会引发异常。我无法找到放置文件的位置。 顺便说一下，文件是用Notepad ++编写的，并仅以.sml扩展名命名。