Ocaml “畸形”和“乌查尔”的定义在哪里?

Ocaml “畸形”和“乌查尔”的定义在哪里?,ocaml,Ocaml,注意:这个问题更多的是关于如何浏览/解密OCaml源代码,而不是关于下面列出的项目的细节。1 我遇到过这些表达方式 `Malformed `Uchar 在一些OCaml源代码中,但我找不到它们的定义 它们是某种内置的,即标准语言的一部分吗 如果没有,当人们想找到这样的定义时,他们会去哪里?(实际上,我不清楚前导的反勾号是名称的一部分还是单独的运算符。) 1我在理解OCaml源代码方面经历了一段可怕的时光。通常,我在学习新的编程语言方面没有问题,但使用OCaml,我无法在我希望找到的地方找到任

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

我遇到过这些表达方式

`Malformed
`Uchar
在一些OCaml源代码中,但我找不到它们的定义

它们是某种内置的,即标准语言的一部分吗

如果没有,当人们想找到这样的定义时,他们会去哪里?(实际上,我不清楚前导的反勾号是名称的一部分还是单独的运算符。)



1我在理解OCaml源代码方面经历了一段可怕的时光。通常,我在学习新的编程语言方面没有问题,但使用OCaml,我无法在我希望找到的地方找到任何东西,当我找到一些东西时,它附带了100多个未定义/不同定义/完全奇怪的名称/概念,因此这是一场失败的战斗。

这是一个多模态变体,在使用之前不需要定义bot。它介于lisp的符号和普通ADT的符号之间。您可以将其视为通用ADT的语法更轻的版本


我建议您使用
utop
作为学习OCaml的平台。事实上,这是一种非常简单的语言,在我看来,您从错误的方面对它进行了攻击,或者使用了一个模糊的程序。

这是一种多模态的变体,在使用之前不需要定义bot。它介于lisp的符号和普通ADT的符号之间。您可以将其视为通用ADT的语法更轻的版本


我建议您使用
utop
作为学习OCaml的平台。事实上,这是一种非常简单的语言,在我看来,您从错误的方面对其进行了分析,或者使用了一个模糊的程序。

这是一种多态变体,您可以在OCaml手册中阅读

对于您不理解的其他基本语言功能,您应该首先阅读本手册的整个第1部分

以下是手册的组织方式:

  • 通过语言快速介绍
  • 整个语言(两部分:首先是遗留语言,然后是随时间添加的功能)
  • 标准shell工具手册页(编译器、解释、ocamlbuild等)
  • 标准图书馆
  • 我从前面的问题中注意到,您使用非标准工具,例如opam和几个库,请确保检查它们的文档,并注意有些工具可以扩展您的语法

    我必须承认,doc通常假设阅读它的人已经知道所介绍的概念,但你不需要首先使用它们来掌握语言


    快乐的黑客

    这是一种多态变体,您可以在OCaml手册中阅读

    对于您不理解的其他基本语言功能,您应该首先阅读本手册的整个第1部分

    以下是手册的组织方式:

  • 通过语言快速介绍
  • 整个语言(两部分:首先是遗留语言,然后是随时间添加的功能)
  • 标准shell工具手册页(编译器、解释、ocamlbuild等)
  • 标准图书馆
  • 我从前面的问题中注意到,您使用非标准工具,例如opam和几个库,请确保检查它们的文档,并注意有些工具可以扩展您的语法

    我必须承认,doc通常假设阅读它的人已经知道所介绍的概念,但你不需要首先使用它们来掌握语言


    快乐的黑客

    OCaml来自不同的语言家族,这也是它值得学习的原因之一。主流语言来自于相当小的思想库。(如果您熟悉FP语言、逻辑语言等,请原谅我的评论。)我是否可以建议从OCaml学习不同于通常的语言家族,这是值得学习的原因之一。主流语言来自于相当小的思想库。(如果您熟悉FP语言、逻辑语言等,请原谅我的评论。)我建议您向