定义实例时种类不匹配

Question

我在阅读各种 Haskell 教程时编写的第一个程序给了我一个“Kind mis-match”错误

import qualified Data.Vector as V

class SupervisedLearner l where
    learn :: l (Input n) -> Output n

data Input n = Supervised (V.Vector n ,V.Vector n) | Unsupervised (V.Vector n)
data Output n =  Regression n | KClass (V.Vector n) | Bernoulli (n, n)
newtype Perceptron  = Perceptron (V.Vector Float)

instance SupervisedLearner Perceptron  where
    learn = undefined

让我感到困惑的是，当我尝试遵循错误的类型签名时，

Kind mis-match
The first argument of `SupervisedLearner' should have kind `*
                                                            -> *',
but `Perceptron' has kind `*'
In the instance declaration for `SupervisedLearner Perceptron'

我似乎无法理解我应该从哪里开始纠正它。 所以我的问题有两个，错误在哪里，一般来说，我是否正确使用了 Haskell 类型类系统？

Answer 1

根据您的类定义，您需要定义l (Input n) -> Output n 类型的方法learn 以使l 成为SupervisedLearner 的实例。因此，要使 Perceptron 成为 SupervisedLearner 的实例，learn 必须具有 Perceptron (Input n) -> Output n 类型。

但Perceptron 类型不接受任何类型参数，因此Perceptron (Input n) 不是有效类型。这就是错误消息所抱怨的内容（kind * 表示一个类型不接受任何类型参数，而 kind * -> * 表示一个类型接受一个类型参数）。