问题标签 [smlnj]

基本上，我想要一个函数来返回一个多态函数，如下所示：

有趣的 foo () = fn x => x

所以 foo 函数接受一个 unit 类型的值并返回一个多态恒等函数，编译器对此很满意，它给了我：

val foo = fn : 单位 -> 'a -> 'a

但是一旦我真正调用了 foo 函数，返回值并不是我所期望的

val it = fn : ?.X1 -> ?.X2

由于它说的价值限制，无法概括，有什么帮助吗？提前致谢

我需要读取 ML (SLMNJ) 中的文件并将其保存在某些结构中。我需要阅读一些指向图形声明的数据：

（第一个数字：节点名称，第二个数字：连接节点的名称，第三个数字权重（每个（）显示一个鬃毛））

例如，这是测试输入如何读取文件以及保存它的结构

我需要用标准 ML 编写 SCC 算法。但我不知道怎么做。
我有以下必须在代码中使用的类型：

以上代码已编译并正确运行。
我把这些放在代码中是因为我知道在计算 SCC dfs 是需要的。
有没有人有办法解决吗？

我想从文件中读取，但是当我使用 inputAll 或 inputLine 时，它​​每行只读取 70 个字符。我怎样才能不受限制地从文件中读取？

可能重复：
在 ML(SMLNJ) 中打开文件

我有一个字符串值，其值如下：

但我想将这些值设为 int 类型，如下所示：

我该怎么办？有什么功能可以帮助我吗？还是我必须自己做？

我有下面的功能，它的工作原理：

但这一个不起作用：

谁能告诉我为什么？或者给我一些提示让它工作？

我从这里安装了 sml 解释器：http ://www.smlnj.org/ ，我使用了 Windows 的自解压 .EXE。（我正在运行 windows7 64 位）

尽管对基本数据类型的简单操作有效，但它无法识别对数组/向量的操作（更新、数组构造函数等）。我是否还需要安装其他东西才能使其正常工作？

也许我对语法的理解存在问题，有人可以提供一个示例代码，声明一个长度为 10 的数组，初始化为 0，然后为每个值加 1？

菜鸟警报

谢谢

如何在函数运行时提示用户输入？

这样做：

导致错误，但如果我更改 0.0，错误就会消失。但是，我需要匹配 0.0，我想知道是否以及如何实现。

我有一个返回 int*int 的程序

（示例用于说明目的）： fun program(a,b) = (1,2)

我想做一些事情：

fun program(a,b)
if a = 0 then (1,2)
else
val x,y = program(a-1,b)
return (x-1, y)

基本上，我想操作返回的元组，然后返回它的修改。

谢谢