问题标签 [ml]

大家，ML中的以下作业有什么区别，

和

我想学习和使用 ML，但是那里有很多编译器。我需要：

• 速度
• 内存使用率低
• 穿线
• 可变数组和记录类型
• 继续
• 准备好生产代码
• 简单的
• 最新
• ... 有用的图书馆
• 在某种程度上便携

我不需要：

• 对象
• 图形用户界面
• 对窗口的支持

例如，我发现OCaml、OCaml Batteries include和MLton。对我有什么建议我应该选择哪一个？

在我的 ml 程序中，我使用嵌套结构来构建我的代码。我正在为这些结构定义签名 - 但我无法真正嵌套签名。

例子：

为此，我想做这样的事情：

现在这不起作用；我收到语法错误。我的问题：

1. 这是一个坏主意吗？如果是这样，为什么？
2. 我该怎么做？如何将嵌套签名应用于嵌套结构？

我编写了一个 ml 函数，在输出中我得到了 = Mary ("a",[Zary #,Zary #]) 其中 Mary 和 Zary 是构造函数。但正如您所见，输出中有一些“#”。如果我做 val Mary("a",x) = out; 然后它显示 x = [Zary("b"),Zary("c")]; 哪个是对的。

我想获得完整的输出而不是哈希。请帮助我。

我想定义一个整数和浮点数列表，其中 [1,2.0] 应该是一个有效的构造。

例如，F# 是否在类型中具有 AND 或具有从 Number 派生的 int 和 float 的类型层次结构？

谢谢。

我正在尝试纠正一个简单的函数来使用选择排序对列表进行排序，我的代码如下：

...它返回以下错误：

谁能向我解释数据/类型构造函数和函数之间有什么区别？Haskell 将它们混合在一起并为我们提供了一个通用接口（所有看起来都像函数，特别是我们可以部分应用它们），而 ML 家族语言则将它们区分开来。

假设我有一个函数list_fun : int_list -> string list，并且在该函数中我使用了我定义为模块的 StringSet，StringSet = Set.Make(String) ;;我尝试让函数返回Set.elements s并获取 astring list但我得到的StringSet.elt list应该是与 StringSet 相同的东西type t = string

你如何让 OCAML 理解这些类型是相同定义的？当我开始使用 OCAML 标准库函数时，我遇到了几个案例。

众所周知，Haskell 风格的类型类和 ML 风格的模块为指定接口提供了不同的机制。它们（可能）在权力上是相等的，但实际上每个都有自己的优点和缺点。

由于在语言特性方面我有点包容主义者，所以我的问题是：将 ML 风格的模块添加到 Haskell 中的主要理论困难是什么？我对以下方面的答案感兴趣：

• 哪些现有类型系统功能与 ML 样式模块交互不佳？（交互不良的一个例子是 GADT 和函数依赖，尽管fundeps 在技术上等同于关联类型！）

• 为了编译 ML 风格的模块，在编译器端必须放弃哪些东西？

• ML 样式模块如何与类型推断交互？

相关阅读：

• 罗伯特哈珀的帖子引发了这个问题
• 关于 Haskell Reddit 的讨论

只是一个基本的卡萨密码。我已经测试了所有的子函数，只是 encryptChar() 并不是特别有效。我得到一个无限循环。它应该是递归的。这是所有代码：