haskell - k -> * 是什么意思？

Question

在序言中，关于ReaderT的类型信息说:

newtype ReaderT r (m :: k -> *) (a :: k)
  = ReaderT {runReaderT :: r -> m a}

(m::k -> *) 是什么意思？ m 采用 k 类型的参数，但 m 是更高种类的类型。

有关更高级外观的信息也已连线:

Prelude> :k ReaderT
ReaderT :: * -> (k -> *) -> k -> * 

Answer 1

片段(m :: k -> *)表示m是 kind 的类型变量 k -> * 。反过来，这意味着 m是一种更高种类的类型，它采用一种类型(未指定类型 k )并生成具体类型(即类型 * )。

您在这里看到的只是 GHC 尝试推断类型的最一般可能类型(与推断函数最一般可能类型的方式相同)。

推断这种类型的原因如下: ReaderT 的实际定义模块 Control.Monad.Trans.Reader 中给出在 transformers包是:

newtype ReaderT r m a = ReaderT { runReaderT :: r -> m a }

右侧意味着r和m a两者都必须是具体类型(类型 * )。由此可以推断r是善良的*那m接受一个参数并生成一个具体类型(因此 m 属于 something -> * 类型)。由于 a 的类型没有任何限制根据这个定义，GHC 决定它可以具有任意类型 k ，暗示着那种m是 k -> *对于任意 k .

这解释了两者:

> :i ReaderT
...
newtype ReaderT r (m :: k -> *) (a :: k)
  = ReaderT {runReaderT :: r -> m a}
...

和:

> :k ReaderT
ReaderT ::    * -> (k -> *) -> k -> *
-- kinds of:  r        m       a    `-- (ReaderT r m a)

现在，仅仅因为 GHC 推断出这样的一般类型并不表明它有任何用途或目的。由于所有单子(monad)都是同类 * -> * ，创建 ReaderT 的唯一方法没有使用 a同类*就是用它来“转变”m这实际上不是一个 monad，那么您将无法使用 Control.Monad.Reader 中的任何函数使用 Monad m约束(几乎是所有约束)。所以，在这种情况下，一概而论是没有用的。