`格式错误和`Uchar定义在哪里？

Question

注意：这个问题更多的是关于如何浏览/解密OCaml源代码，而不是下面列出的项目的具体细节。 ¹

我遇到了表达式

`Malformed
`Uchar

在一些OCaml源代码中，但我无法找到它们的定义。

它们是否以某种方式内置，即标准语言的一部分？

如果没有，当人们想要找出这样的定义时，会去哪里？ （实际上，我不清楚前导反引号是名称的一部分还是单独的运算符。）

---

^{1 我很难理解OCaml源代码。通常我在选择新的编程语言方面没有问题，但是使用OCaml我找不到任何我希望找到它的东西，当我找到它的时候会发现它有100多个未定义/不同定义的/完全奇怪的名字/概念，这是一场失败的战斗。}

Answer 1

这是一种多态变体，需要在使用前定义机器人。它是lisp的符号和常见的ADT之间的东西。您认为它是普通ADT的语法更轻版本。

我建议您使用utop作为学习OCaml的游戏场地。实际上，这是一种该死的简单语言，我觉得你从错误的方面接受它，或者使用被混淆的程序。

Answer 2

这是一个多态变体，你可以在OCaml手册中阅读它here

对于您不理解的其他基本语言功能，您应首先阅读manual

的整个第1部分

以下是手册的组织方式：

1. 通过语言快速介绍
2. 整个语言（两部分：首先是遗留语言，然后是通过时间添加的功能）
3. 标准shell工具手册（编译器，解释，ocamlbuild等）
4. 标准库

我从您之前的问题中注意到您使用了非标准工具，例如opam和几个库，请务必检查他们的文档，并注意有些可以扩展您的语法。

我必须承认，该文档通常假设阅读它的人已经知道所提出的概念，但您最初不需要使用它们来掌握该语言。

快乐的黑客攻击！