问题标签 [ml]

有一种全新的“函数式编程”范式，与过程式编程相比，它需要彻底改变思维模式。它使用高阶函数、纯度、monad 等，这些在命令式和面向对象的语言中通常看不到。

我的问题是这些语言的实现与命令式或面向对象的语言有何不同，例如，内存管理或指针等内部结构。

有一些函数式语言在 JVM 之上运行。这是否意味着这些语言在内部像 JVM 上的其他语言一样工作？

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

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

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

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

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

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

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

问题是我收到这些错误：

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

我刚刚开始自己​​学习 SML，但遇到了教程中的一个问题。假设我有：

树数据类型

插入函数

一个整数列表

我的问题是如何添加编写一个函数来遍历列表中的每个元素并添加到树中？

非常感谢您的回答。

我正在使用结合 CGI 的莫斯科 ML。我有一个计算简单算术的网站。当我按下提交按钮时，站点被重定向到输出计算结果的实际 CGI 文件。尽管在我的情况下，它以原始形式输出 html 代码，而不是实际输出 html 中的结果。有谁知道这个问题的解决方案？// 提前谢谢

ML 如何在以下函数定义中执行类型推断：

是否像 C++ 模板一样，在模板实例化之前不执行类型检查，之后如果类型支持必要的操作，则函数可以工作，否则会引发编译错误？

即例如下面的函数模板

将为

但不适用于

我的猜测是正确的还是 ML 类型推断的工作方式不同？

PS：对不起我的英语不好；这不是我的母语。

ML 中有 eval 函数吗？

全部，

我想在 ML 中导出以下函数的类型表达式：

现在我知道输入相同的内容会生成类型表达式。但我希望手动得出这些值。

另外，请提及派生类型表达式时要遵循的一般步骤。