问题标签 [sml]

我在使用 SML/NJ 交互系统时遇到了一些问题，即当我尝试使用我的箭头键（向左或向右更正我输入的表达式，直到重复最后一个表达式）时，我的终端打印代码。^[[A（例如^[[D左上角等）。虽然我仍然可以使用该系统，但它使它非常乏味。

我在 Control.Compiler 中环顾四周，有什么我遗漏的吗？不管它值多少钱，我都在使用 Mac 终端。

谢谢^_^

目前，我的代码如下所示：

mapi 是一个 int int->int int*int->image->unit 类型的函数。本质上，它对提供的图像进行操作。

该函数看起来很难看 val void = ...

我怎么能消除它？

我想使用 mosmlc 将我的 ML 程序编译成可执行的二进制文件。但是，我找不到太多关于如何做到这一点的信息。

我想编译的代码在这里http://people.pwf.cam.ac.uk/bt288/tick6s.sml

cx,cy,s,imgLocation 是我想从命令行参数中获取的 4 个参数。例如，如果程序使用 name 编译mandelbrot，则 inputbash$mandelbrot -0.5 0.15 0.0099 image.png应该执行 main 函数。

我正在学习机器学习，使用 SML/NJ 方言。我想弄清楚的是是否有行注释运算符。我找到了块注释运算符 (* ... *)，但我真的很怀念行注释。

建议？还是我只是停留在块评论中？

我必须用 ML 编写一些代码，这是我第一次使用这种语言。有标准 ML 的开发环境吗？（最好在 Windows 下）。我尝试了谷歌搜索（和 stackOverFlowing ！），但我发现的只是 Linux 的普通编译器（最多带有交互式控制台），但没有 IDE 或 Eclipse/NetBeans 插件。有什么建议么 ？

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

我必须创建一个关于定义为以下数据类型的 peano 数字的函数：

我必须实现的函数查找 peano 参数的连续 peano 编号P(p)。这是我写的：

问题是我收到这些错误：

我不知道我做错了什么。请帮忙！