Haskell类型构造函数

Question

想要问几个关于Haskell 类型构造函数

的问题

有人能告诉我类型构造函数是如何工作的以及它的一些例子吗？

我还需要知道：

这些类型的构造函数是什么？：

Numerical
Maybe
Show
[]
Eq

谢谢，

儒略

Answer 1

类型构造函数是构造..井类型的东西。取Maybe，它需要另一种类型，比方说a，并返回带有两个构造函数的类型Maybe a

Just :: a -> Maybe a
Nothing :: Maybe a

我们可以讨论构造函数对其“kind”采用多少个参数，类型是类型。一些例子，

Int :: *
Maybe :: * -> *
Either :: * -> * -> *

因此，类型构造函数需要一些其他类型并返回一个新类型。

我会留下看起来像家庭作业问题的东西。