是否可以特別使用函數的默認實現？

Question

我的代碼有效。 我只是想知道是否可以在使用默認實現之前先在實例聲明中添加一些內容以進行檢查，而不必復制代碼。 一個例子：

class (Eq a, Ord a, Show a, Num a) => Fibo a where
  fib :: a -> a
  fib n
    | n == 0 = 0
    | n == 1 = 1
    | otherwise = fib (n-1) + fib (n-2)

instance Fibo Integer where
  fib n
    | n < 0 = -1
    | n == 0 = 0
    | n == 1 = 1
    | otherwise = fib (n-1) + fib (n-2)

但是，它也可以以不必重新實現整個功能的方式編寫嗎？ 就像是：

instance Fibo Integer where
  fib n
    | n < 0 = -1
    | otherwise = default

還是有其他方法可以在兩個地方不使用相同代碼？

解決方案是不更改默認實現！

Answer 1

只需將通用代碼放入輔助函數即可：

foo::(Eq a, Ord a, Show a, Num a) =>a -> a
foo n
    | n == 0 = 0
    | n == 1 = 1
    | otherwise = foo (n-1) + foo (n-2)

class (Eq a, Ord a, Show a, Num a) => Fibo a where
  fib :: a -> a
  fib = foo

instance Fibo Integer where
  fib n
    | n < 0 = -1
    | otherwise = foo n