读者变压器单子

Question

newtype ReaderT r m a :: * -> (* -> *) -> * -> *

我不明白如何理解上面的表达，尤其是 * -> (* -> *) -> * -> *

Answer 1

其实应该是

ReaderT :: * -> (* -> *) -> * -> *

简单地说，上面的类型是一个函数的类型，它接受一个*类型的参数，另一个* -> *类型的参数，另一个*类型的参数，并产生一个*类型的结果。 * 类型是“所有类型的类型”。例如。 Int :: *、Char :: *等

为避免混淆，* 并不是真正的“一种类型”而是“一种”，以反映它在更高级别上工作。例如，'a' 的类型为 Char，Char 的类型为 *。

最后，* -> * 类型是一元类型构造函数，例如Maybe、[]、IO、(,) Char、Either Bool 等。所有这些都带有类型参数和返回一个类型。 * -> * 类型也是任何函子、应用程序或 monad 的类型。

所以，如果我们有类型r、一个类型构造函数m（通常是一个monad）和一个类型a，我们就有：

r :: *
m :: (* -> *)
a :: *
ReaderT :: * -> (* -> *) -> * -> *
ReaderT r :: (* -> *) -> * -> *
ReaderT r m :: * -> *
ReaderT r m a :: *

因此，当所有三个参数都被传递时，结果ReaderT r m a 是一个类型。