在Haskell中，如果Maybe是Type或Union Type，你怎么称呼'Nothing`？

Question

在Haskell中， Maybe类型可以是Nothing或Just a

data Maybe = Nothing | Just a

如果我们打电话给Maybe Union Type，那么什么是Nothing呢？ 一个Type ？ 不，它不是类型，您不能将变量声明为Nothing类型。

也许你会说类型构造函数，是的，但我想表达的事实是Nothing和Just是不同的情况。

一个类型值？ 一个类型实例？ 一个案例？

Answer 1

它是一个数据构造函数 。 由于它没有参数，因此它也称为常量和nullary数据构造函数 。

这些数据构造函数将值组合在一起（这里没有值）以及标记 ：某种标识符，用于标识它是Nothing ，而不是Just 。

Answer 2

Nothing也被称为“变体”（或“变体类型”）的“案例” Maybe a 。 这个术语在OCaml中比在Haskell中更频繁地使用，例如Real World OCaml变体章节 （我不知道在其他语言中常见的是什么）。