如何根据类型类值进行模式匹配？

Question

假设我在Haskell中定义一个类型类,

class (Bool a) where
    false :: a
    true  :: a

为了定义任何通用not操作Bool,需要对其潜在值进行模式匹配:

not :: Bool a => a ? a
not true  = false
not false = true

但是,这不会编译.我怎样才能让它发挥作用？

Answer 1

你无法匹配像这样的类型类值.类型抽象超过实际的底层类型,而模式匹配会暴露它.

但是,您仍然可以使用ViewPatterns扩展名获得相同的行为和一些很好的语法.我们的想法是包含一个函数,它接受您的抽象值,并为您提供表示结构视图的具体类型的值:

class (Bool a) where
  true   :: a
  false  :: a
  asBool :: a -> Bool

现在,您可以将asBool模式匹配中的函数用作视图模式:

not :: Bool a => a -> a
not (asBool -> True)  = false
not (asBool -> False) = true

但是,请注意,这可能导致asBool计算两次,如果它隐藏了昂贵的计算,则可能是一个问题.