haskell - 为什么我的类型最后有 '-> Constraint' ？

Question

我正在阅读的 Haskell 教程有一节介绍了类型 kinds 的基础知识。 ，并描述了一个类型类

class Tofu t where  
    tofu :: j a -> t a j 

因为有那种

* -> (* -> *) -> *

我明白，但是当我输入 :k Tofu 时在 GHCi 中，我得到

Tofu :: (* -> (* -> *) -> *) -> GHC.Prim.Constraint

什么是 GHC.Prim.Constraint为什么那种 Tofu使用这种形式而不是简单的 * -> (* -> *) -> * ?

Answer 1

t是类 Tofu 的类型参数种类* -> (* -> *) -> * (书面 t :: * -> (* -> *) -> *)。
这是 t 的推断类型由 GHC 因为没有 -XPolyKinds , GHC 尝试将所有类型参数默认为 kind * .因此 GHC 假设 a有种* (尽管您的签名中没有任何内容使这是唯一的选择)。

类型构造函数 (->)有种* -> * -> * .自 j a显示为 (->) 的参数, j a必须有种* .由于 GHC 假设 a有种* , j是一种需要某种东西的类型 *并返回类似的东西 * .因此:

j :: * -> *

自 t应用于 a和 j , t有种 * -> (* -> *) -> * , 因为第一个参数 a有种 *和第二个参数 j有种 *->* 、整体型 t a j必须有种 *因为它也是 (->) 类型的参数.

类只是带类型参数的类型(就像 data Foo a b )，除了 Foo a b有种 *而 Tofu t有种特殊的种类 Constraint .于是那种 Tofu是:

(* -> (* -> *) -> *) -> Constraint

正如 GHC 所示。 Constraint只是给予约束的那种。在签名中

(Num a) => a -> a -> a

(Num a)是一种类型 Constraint .