Я хочу сделать суперкласс Num, называемый Linear
class Linear a where
add :: a -> a -> a
instance (Num a) => Linear a where
add = (+)
Я получаю сообщение об ошибке:
Illegal instance declaration for `Linear a'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Linear a'
Насколько я понимаю, в строке instance (Num a) => Linear a where что-то не так. (Он компилируется, если я использую флаги: -XFlexibleInstances -XUndecidableInstances)
Есть ли способ добиться этого без использования этих страшных флагов? (и что в мире неразрешимого в коде выше??)
ОБНОВЛЕНИЕ: добавлен полиномиальный тип в линейный.
newtype Polynomial a = Polynomial (a,[a]) deriving Show-- list of coeffients
instance (Linear a) => Linear (Polynomial a)
where
add (Polynomial (c1, l1)) (Polynomial (c2, l2))
= Polynomial (add c1 c2, zipWith (add) l1 l2)
p1 = Polynomial (0, [3,4,5])
p2 = Polynomial (0, [])
main = putStrLn $ show ((add p1 p2):: Polynomial Int)
После добавления полинома он не компилируется даже с этими флагами и выдает ошибку:
Overlapping instances for Linear (Polynomial Int)
arising from a use of `add'
Matching instances:
instance Num a => Linear a -- Defined at Algebra.hs:22:10-28
instance Linear a => Linear (Polynomial a)
-- Defined at Algebra.hs:25:10-44
In the first argument of `show', namely
`((add p1 p2) :: Polynomial Int)'
In the second argument of `($)', namely
`show ((add p1 p2) :: Polynomial Int)'
In the expression: putStrLn $ show ((add p1 p2) :: Polynomial Int)
