haskell - 是否可以组合类型类的实例？

Question

我感觉这是不可能的，但希望得到一些意见，看看是否缺少一些扩展或技术。

我有一个类型类的通用实例，它定义了一些默认方法:

class TestClass a where 
  foo :: a -> Maybe Text 
  bar :: a -> [Int]

instance TestClass a where 
  foo _ = Nothing 
  bar _ = []

data SpecificType = SomeValue | OtherValue

instance TestClass SpecificType where 
  foo SomeValue = Just "Success"
  foo OtherValue = Just "Other Success"

我相信这已经需要OverlappingInstances，但问题是SpecificType的TestClass实例没有实现bar 。我只想声明第二个实例的一部分，并使用其余部分的默认实现。有办法实现这一点吗？

Answer 1

在 Haskell 98 中，您可以输入 default implementations在class定义中:

class TestClass a where
    foo :: a -> Maybe Text 
    <b>foo _ = Nothing</b>  -- default implementation
    bar :: a -> [Int]
    <b>bar _ = []</b>       -- default implementation

现在，对于您自己未实现 foo 或 bar 的所有实例，它将采用默认实现。