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

Question

在Haskell中,Maybe类型可以是a Nothing或aJust a

data Maybe = Nothing | Just a

如果我们称Maybe联盟类型,Nothing那么呢？一个Type？不,它不是类型,您不能声明变量是Nothing类型.

也许你会说类型构造函数,true,但我想表达的事实是,Nothing并且Just是不同的情况.

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

Answer 1

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

这些数据构造函数将值组合在一起(这里没有值)以及标记:某种标识符,用于标识它是a Nothing,而不是a Just.