问题标签 [ocaml]

我想使用 OCaml 创建一个带有数据成员的对象，但不一定要为数据成员指定初始值。许多示例似乎使用列表，但我想使用我创建的对象类型的单个实例。这可能吗？谢谢。

此外，我尝试了 option 关键字无济于事：

在这里，当我希望将数据成员指定为 bar 类型时，编译器会抱怨该数据成员具有“bar option”类型。

我想使用 OCAML 读取位图文件（从文件系统），并将像素（颜色）存储在具有位图维度的数组中，每个像素将占用数组中的一个单元格。

我找到了函数Graphics.dump_image image -> color array array 但它没有从文件中读取。

我想在一个类中声明一条记录，如下所示：

但编译器声称这一行是语法错误：type gun = {x:in ....

当像这样在类外声明时

错误是：unbound value gun。

所以有人知道如何用另一种方式达到相同的功能吗？谢谢你！

********* 解决了***

奇怪的是，当类型在外部声明时它正在工作，谢谢

我试图在对象方法的上下文中找出 OCaml 的递归。我尝试了以下代码，但似乎无法编译。

如何在方法中创建此类递归函数？

修改后的代码：

是否有等效istream::putback(char)于 OCaml 的 C++ 方法？

如何在stdin的开头添加一个字符？

我正在学习 OCaml 的 OOP 结构并在今天部分实现，直到我意识到我不知道如何在不使用对象外部的 type 关键字的情况下表示多态匹配语句。

是否可以即时确定传入的对象类型？

在以下上下文中，我在处理 OCaml 中深度嵌套的列表时遇到问题。

我得到的错误是“未绑定的实例变量 myList”。在这种情况下，如何将“List.append myList (createListOfElements f#getP) 的结果分配给 myList？

谢谢！

编辑功能：

我对仿函数（它是结果类型）有点问题。下面，我有一个使用 Ordered 类型的 Set 仿函数。我实际上使用了set.mlocaml 附带的一些指导，但我似乎做的一切都是对的。我创建了一个带整数的 Ordered 模块，并将其应用于 Set 函子，以获取此代码示例中的最后一个模块 IntSet。

当我尝试插入一个整数时，下一行失败了。我收到以下类型错误：

不要误会我的意思，这里的类型系统是正确的。顶层报告的类型SetInt.elt是Set(OrdInt).elt，但是当我使用 ocaml 提供的设置执行相同的操作来设置 Set 时，“相同”行是 , SetInt.elt = OrderedInt.t。好像我应该得到SetInt.elt = Ordered.t.

这很简单，我可能只是错过了一些愚蠢的细节！啊！

请注意：我在这里简化了成员/插入函数，因为这个问题与类型有关。

我在 OCaml 中创建了一个直接对象。

由于对象没有名称（它被认为是匿名的吗？），它如何在 UML 中正确表示？

谢谢。

我希望创建（作为概念验证）一个将 PCL 代码转换为 PDF 格式的 OCaml（最好）程序。我不知道从哪里开始。是否有这样做的标准化算法？是否有任何其他建议可用于完成此任务？

谢谢！