Haskell类定义中的隐式类型参数?

让我们分别看每一行。

class Functor f where

这声明了一个名为 Functor ;满足它的类型将被调用 f .

  fmap :: (a -> b) -> f a -> f b

与任何函数定义一样,所有自由类型变量都是隐式的 forall Ed_可以用任何东西替换。不过,多亏了第一行, f 在范围之内。因此, fmap 具有类型签名 fmap :: forall a b. Functor f => (a -> b) -> f a -> f b . 换句话说,每个函数都需要定义 FMAP 哪个可以工作 任何 a 和 b 和 f 必须有 友善的 (类型的类型) * -> * ;也就是说,它必须是采用其他类型的类型,例如 [] 或 Maybe 或 IO .

那么,你所说的是不正确的; 一 不是特别的,如果我们在 函子 ,看不到一样的东西 一 或 乙 . 但是,编译器 做 使用 f a 有点想知道什么样的 f 必须是。此外,您的 Foo 类是完全合法的;我可以如下指定一个实例

instance Foo (a -> b) where
  foo f _ = f

这满足 foo :: a -> b -> a 对于 任何 乙 请注意 乙 在里面 Foo (a -> b) 是不同的。诚然,这不是一个很有趣的例子,但它是完全合法的。

不需要“知道”。它只需要进行类型检查(即,没有失败的类型检查)。 b 可以是任何东西;功能 foo 必须能够将任何类型作为第二个参数。

考虑一下 const 序曲中的功能:

const            :: a -> b -> a
const x _        =  x

它如何“知道”什么 乙 (或) a 是吗?