Haskell Vector Typeclass: İşlev [a] -> [a] -> a

Question

Pekala, başlarımın etrafından dolaşmaya çalışıyorum ve bu yüzden geometrik vektör işlemleri için bir yazım hatası tanımlamaya çalışıyorum. Bileşen-bilge +,-,*,/; için çalışmayı başardım ama nokta ürünü ile uğraşıyorum.

class GeomVector a where 
    (>+) :: a -> a -> a 
    (>-) :: a -> a -> a 
    (>*) :: a -> a -> a 
    (>/) :: a -> a -> a 

    (>.) :: a -> a -> Double 

data Vector a = Vec [a] 
       deriving Show 

instance (Fractional a) => GeomVector (Vector a) where 
    (>+) (Vec u) (Vec v) = Vec $ zipWith (+) u v 
    (>-) (Vec u) (Vec v) = Vec $ zipWith (-) u v 
    (>*) (Vec u) (Vec v) = Vec $ zipWith (*) u v 
    (>/) (Vec u) (Vec v) = Vec $ zipWith (/) u v 

    (>.) (Vec u) (Vec v) = sum $ u >* v 

Açıkçası sonuç tip Fractional a değil Double ait olduğu için (>.) Çalışmaz benim örnek tanım.

Ancak bu davranışı sınıftaki bildirimlerden nasıl alacağımı bilmiyorum.

class GeomVector [a] where 
    (>.) :: [a] -> [a] -> a 

Ama [a] bir tür değil, bir tür değişken olduğundan bu geçersiz: Yapmak gibi olur ne

olduğunu.

Keşke bunu biraz daha iyi açıklayabilseydim, ama dürüstçe bunu yapmaya yeteri kadar anlamıyorum. İnşallah kod, ben mücadele ile biraz daha belirgin hale getirecektir.

class GeomVector v where 
    (>+) :: Num a=> v a -> v a -> v a 
    (>-) :: Num a=> v a -> v a -> v a 
    (>*) :: Num a=> v a -> v a -> v a 
    (>/) :: Fractional a=> v a -> v a -> v a 
    (>.) :: Num a=> v a -> v a -> a 

data Vector a = Vec { vecList :: [a] } 
       deriving Show 

instance GeomVector Vector where 
    (>+) (Vec u) (Vec v) = Vec $ zipWith (+) u v 
    (>-) (Vec u) (Vec v) = Vec $ zipWith (-) u v 
    (>*) (Vec u) (Vec v) = Vec $ zipWith (*) u v 
    (>/) (Vec u) (Vec v) = Vec $ zipWith (/) u v 

    (>.) u v = sum $ vecList (u >* v) 

Yani GeomVector ait tüm örneklerini Monad sınıfı gibi bir tür * -> * sahip olacaktır:

Answer 1

Burada işe yarayabilir bir seçenek. Ve yöntemlerin türleri, orada bir yere böldüğünüz için gereksiz olarak Fractional türüyle sınırlı değildir.

Ayrıca, sınıfınızı olabildiğince küçük yapmayı (>. sınıfın dışında bir polimorfik işlev haline getirmeyi) ve gerçekten ne istediğinizi yazmaya başlamak için bir tür dersi oluşturmayı düşünebilirsiniz. Ama tüm bunlar sizin tasarladığınız şeye bağlıdır ve sizden daha iyi bildiğimi varsaymak istemiyorum!