Reasonml 语法含义 |

Question

这个符号在 ReasonML 中是什么意思 |

例如

type something = 
| SomeFunc()
| AnotherFunc()

我在 ReasonML 文档上真的找不到答案

Answer 1

本质上，这个特定的例子是定义自定义类型的案例。

我们正在定义一个名为 something 的新类型，其值可以使用函数 SomeFunc 或 AnotherFunc 来创建.. 更多具体来说，这些函数称为构造函数...对于模式匹配非常有用。

您可以在OCaml documentation 中阅读有关它们的更多信息。

您还可以在模式匹配结构中找到管道符号 (|)，以分隔匹配模式的各种情况/变体。