小编Leo*_*ima的帖子

具有多个文件的可变记录字段

我正在使用多个文件,我有一个可变字段的问题.在file1.ml中,我声明:

type mytype = {
     mutable numbers : int list;
}
Run Code Online (Sandbox Code Playgroud)

所以,在file2.ml中,我有mytype类型的元素.但是,当我想做的时候:

myElement.numbers
Run Code Online (Sandbox Code Playgroud)

返回以下错误:错误:未绑定的记录字段标签号.

谢谢,欢迎任何帮助.

ocaml functional-programming mutable imperative-programming

4
推荐指数
1
解决办法
129
查看次数

如何在Prolog中实现自己的列表?

我正在学习Prolog,我知道有一个数据结构已经实现来处理列表,但我想知道,如果由于某种原因我想实现自己的数据结构,我该怎么做?我不希望将实现作为答案,但有些想法会很棒.

谢谢.

logic list prolog logic-programming

2
推荐指数
1
解决办法
185
查看次数