haskell - 为什么这种类型不检查？

Question

class Foo t where
  foo :: t

bar :: Binary t => t -> ()
bar = undefined

repro :: (Binary t, Foo t) => Proxy t -> ()
repro _proxy =
  bar (foo :: t)

编译器抱怨：

• 无法从上下文中推断出 (Binary t0) 由使用“bar”引起的：(Binary t, Foo t) 受类型签名的约束：repro :: forall t。(二进制 t, Foo t) => 代理 t -> ()

• 无法从上下文中推断出 (Foo t2) 是由使用 'foo' 引起的：(Binary t, Foo t) 受类型签名的约束：repro :: forall t。(二进制 t, Foo t) => 代理 t -> ()

具体来说，我很惊讶它没有看到我传递t给bar，并创建了一个t0类型 var。t2更神秘，因为foo被显式地注解了 type t。

标签： haskell

Answer 1

默认情况下，类型变量的范围不是这种方式。t函数签名中的和t函数体中的 不一样。您的代码等效于：

repro :: (Binary t, Foo t) => Proxy t -> ()
repro _proxy =
  bar (foo :: a)

您需要启用 ScopedTypeVariables 扩展，并添加显式forall t.

{-# LANGUAGE ScopedTypeVariables #-}

repro :: forall t. (Binary t, Foo t) => Proxy t -> ()
repro _proxy =
  bar (foo :: t)