Question

我一直在尝试使用这个简单的HLists实现和一个函数hasInt，如果True是列表的成员，则返回Int：

{-# LANGUAGE FlexibleInstances #-}

data HNil = HNil
  deriving (Show, Read)

data HCons a b = HCons a b
  deriving (Show, Read)

class HasInt a where
  hasInt :: a -> Bool

instance HasInt HNil where
  hasInt _ = False

instance HasInt as => HasInt (HCons a as) where
  hasInt (HCons a as) =  (isInt a) || (hasInt as)

class IsInt a where
  isInt :: a -> Bool

instance IsInt Int where
  isInt _ = True

instance {-# OVERLAPPABLE #-} IsInt a where
  isInt _ = False

three = 3 :: Int

main = do
  putStrLn $ "isInt three = " ++ show (isInt three) -- True
  putStrLn $ "isInt True  = " ++ show (isInt True)  -- False
  print $ hasInt $ HCons three $ HCons True HNil    -- False ???

这并未给出预期的结果。但是，如果我改变它似乎确实有效：

    instance HasInt as => HasInt (HCons a as) where

为：

    instance (IsInt a, HasInt as) => HasInt (HCons a as) where

另一方面，我通常希望GHC抱怨如果我使用类型类功能但不包含约束，并且在这种情况下我不会得到任何此类指示。

显然，它必须对catch-all实例IsInt a做一些事情。我会得到Could not deduce (IsInt a) arising from a use of 'isInt' 如果我将catch-all实例替换为：

，则会出错

instance IsInt Bool where isInt _ = False
instance IsInt HNil where isInt _ = False

我的问题是：这是GHC的预期行为 - 如果没有明确的类型类约束，它会默默地使用catch-all实例吗？

Answer 1

是的，这是预期的行为。如果你写

instance Foo a

您声明所有类型都是Foo的实例，并且GHC 相信您。

这与以下内容完全类似：

foo :: Int -> Bool
foo x = x > 0

即使您在上下文中没有Ord Int，GHC也知道有这样的实例。同样，在：

bar :: a -> b
bar x = {- use the Foo instance for x here -}

即使你在上下文中没有Foo a，GHC也知道有这样的实例。

如果缺少约束，GHC使用catch-all实例？

1 个答案: