问题标签 [ml]

我创建了一个 number 类型的数据类型，它可以是 int 也可以是 real，我需要创建一个函数来添加 2 个“number”类型的数字，而我遇到的问题是定义这样的语法语法，我尝试了以下但似乎没有工作。我写的代码如下，下面的代码是这样写的，用来检查函数是否将 n 识别为 number 类型：

但似乎没有一个工作，我写的语法是正确的还是错误的？谢谢

我写的数据类型号是：

我想为标准 ML 中的新数据类型创建一个函数，该数据类型称为 intnest，定义如下：

我想创建一个函数来添加 intlist 中的所有整数，我尝试了以下代码：

我究竟做错了什么？

编辑：

我还尝试了以下方法：

所以 x 是 INT 类型，所以第一个选项返回它的 int 值，而 addup(xs) 是一个递归调用，返回相同的第二个选项。

还尝试了以下方法：

但我收到以下错误：

我想在标准 ml 中创建一个函数来检查树是否完整，该函数以某种方式工作，但它给了我错误的类型和非详尽情况的警告

树代码：

现在上面函数的类型是：''a tree -> bool但所需的类型是'a tree -> bool

我收到的警告是：

我有什么问题？

编辑：

感谢迈克尔，我修复了代码，现在它可以工作了：

我想制作一个反转 mylist 值的函数。我编写了代码，但它不起作用，我将不胜感激任何提示或帮助。

数据类型代码：

我写的函数是：

我还想编写一个附加 2 个 mylist 值的函数，我有一些情况，但它没有用，我虽然如下：

但它不起作用，给我错误，我的代码有什么问题？

谢谢

我想制作一个函数标准 ml，它接受一个列表和函数，并从中制作一个 BST。该函数的类型是：'a list -> ('a * 'a -> bool) -> 'a tree，但是我遇到了一些问题，这是我编写的代码：

我使用此函数获得的类型是：'a list -> ('b * 'c -> bool) -> 'd tree当我尝试调用它时，如下所示，makeBST [4, 3, 6, 7, 8, 2, 0, 1] (op <);我收到以下错误：

代码有什么问题？谢谢

编辑：

我的代码的第二个版本：

这段代码产生了我想要的类型，但它正确吗？

我正在为分数编写一个简单的抽象数据类型，我什至无法让构造函数工作，我只是对 SML 语法非常迷茫。

这是显示我正在实现的构造函数的 .sig 文件。这是我到目前为止所拥有的。我收到的错误是当我想要 int*int-> 分数时我正在做 int*int* -> int。我知道它在说什么和一切，但我就是不能让它发生。

我正在使用其解释器学习标准 ML。有时我会打错字，只想像在 Linux shell 中那样重复前面的命令。但是，向上箭头最终会在屏幕上打印特殊字符。有时我想回到左边更正一些东西，左箭头也会导致打印特殊字符。

有谁知道正确的方法是什么？

我有一个布尔特征，其值可以是 0 或 1，我目前正在使用 ContinuousValueEncoder 将其编码为向量，因为我在 mahout 中看不到更合适的编码器。这是正确的吗？如果没有，我应该改用什么？

谢谢

我一直在寻找一些关于如何让 Standard ML 在 Windows 上运行的好文档。有人对此有很好的指导吗？

我曾尝试使用本指南在 cygwin 中编译 sml/nj：http ://www.smlnj.org/install/index.html

任何建议，将不胜感激。

有时我们需要存储二叉树或森林或其他代数类型的数据项集。可以通过某种方式完成。最好也仅使用 SQL 对这些数据执行一些转换（例如，重新平衡二叉树）。

我对一种在它们之间声明类型和纯函数的方法（用类似 ML 或类似 Haskell 的语言）并将它们编译为 SQL 感兴趣；我希望，它可以让我重用标准算法的代码，例如hedge_union。它存在吗？可能是，这个编译器已经实现了（但是我不能谷歌它），或者 Coq 中的库存在，它可以提取 SQL 中的代码，或者其他东西。