问题标签 [caml-light]

我在玩-caml-light 中的一元运算符和二元运算符之间的区别。

我希望代码要么抛出错误（因为它对 a 或 c 有多少参数感到困惑）要么打印：

但是，它编译没有问题（下面的编译器版本）并打印 -1

谁能告诉我最后一次通话会发生什么？

I'm following this paper: Introduction to Functional Programming. In the chapter on the ML language family there are examples to be run with camllight. However, in Debian repositories, I haven't found any package that contains camllight, so I'm using ocaml instead:

Example code from the paper worked fine until this one from the part on custom type definitions:

Trying this one out with ocaml outputs:

with the first of underlined.

Why the syntax error? Is this some language feature of camllight that is not present in ocaml? Or can I enable it somehow?

我正在尝试制作这个递归函数，它需要一个int x和一个列表，然后从列表中删除第一批x元素：

但它不起作用，h::tail似乎永远不会匹配，它总是返回[]

有人告诉我，第一段代码在性能方面比第二段差。

但是，老实说，如果最终拨打相同的电话，我真的无法弄清楚它们有何不同。我错过了什么吗？

第一个显式调用示例：

第二个使用变量的例子：

以下代码尝试创建一个函数，该函数'a list list -> 'a list给出一个列表列表，返回一个列表，该列表由从列表中提取的每个第一个元素组成。

我真的很难弄清楚错误到底在哪里。

我编写了一个程序来评估 OCaml 中的逆波兰符号，但是当我添加异常的 gestion 时遇到了一些麻烦。

这是我的代码：

控制台返回错误信息：

有人能帮助我吗 ？我认为问题在于 OCaml 的语法特异性，因为我在 Caml Light 上看到了一个类似的程序，它运行良好。