Haskell k->；*什么意思？

在序言中，关于

ReaderT

的类型信息显示：

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

它是什么意思

m

接受类型为

k

的参数，但

m

是一种更高级的类型

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

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

片段

（m:：k->*）

表示

m

是

k->*

类型的类型变量。这反过来意味着

m

是一种更高级的类型，它采用一种类型（未指定的类型

k

）并产生一种具体类型（即，一种类型

*

）

您在这里看到的只是GHC试图为一个类型推断出最通用的可能类型（与它为一个函数推断出最通用的可能类型的方式相同）

以下是推断这种类型的原因：

transformers

包中模块

Control.Monad.Trans.Reader

中给出的

ReaderT

的实际定义是：

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

右侧表示

r

和

ma

必须都是具体类型（种类

*

）。由此，可以推断

r

属于

*

类型，

m

接受一个参数并生成一个具体类型（因此

m

属于

某物->*

）。由于该定义对

a

的种类没有限制，GHC决定它可以有任意种类的

k

，这意味着对于任意

k

，m的种类是

k->*

这解释了两个方面：

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

以及：

---

现在，仅仅因为GHC推断出这样一种普遍的类型并不意味着它有任何用途或目的。由于所有的单子都属于

*->*

类型，因此创建一个

ReaderT

而不使用

*

类型的

的唯一方法是使用它“转换”一个实际上不是单子的

m

，然后您将无法使用

Control.Monad.Reader

中使用

Monad m

约束的任何函数（这几乎是所有函数）。因此，在这种情况下，泛化是无用的。

k

可以是任意类型，它不限于有效的Haskell类型

*

@ThreeFx我可以和你聊天吗，因为我也住在居里希。当然，这样做，最好在评论中包含链接以供进一步参考。你能这样做吗，我不知道怎么做。这意味着我们可以有像

ReaderT（）这样的无意义的单子：：*

。当

polytypes

问世时，我想象人们试图概括出可能的签名。这就是其中之一。可能有一些人为的用例。这是相关的问题。

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