Bir tür için değil, Haskell'de bir sınıf için bir sınıf örneği yapabilir misiniz?

Question

Tüm sayıların Monoid örneğini yapmak istediğimi varsayalım. Bunun yerine böyle her Num için bir örnek oluşturmak zorunda:

instance Monoid Int where 
    mappend = (+) 
    mempty = 0 

instance Monoid Float where 
    mappend = (+) 
    mempty = 0.0 

-- etc 

Böyle bir şey var mı?

instance Num t => Monoid t where 
    mappend = (+) 
    mempty = 0 

Düzenleme

Bazı GHC uzantıları ile yanıtlayan ve potansiyel sorunlar hakkında uyarıda bulunuyorlar; Bunu bilgilendirici buldum, ama sanırım Sum, Product ve coerce ne yaparsa yapmam.

Answer 1

Bunu, özellikle Monoid ve Num'dan ziyade genel bir öneri sormak olarak yorumluyorum.

Belki de çalışmaya çalışırken yazdığınız şeyleri alabilir, FlexibleInstances, UndecidableInstances ve örtüşen örnekleri kullanarak.

Ama hiç muhtemelen istemem: Bu instance Num t => Monoid t where ... gibi görünüyor

söylediğini " t Num örneğidir burada olduğunu t Monoid örneğidir nasıl olursa ..."

Maalesef bu doğru değil. Ya aslında söylüyor daha

gibi

Böylece, bir örnek beyanı yazarsanız "İşte, bu tNum. Sonraki bir örneği olması gerekli tMonoid. Birinci örneğidir nasıl ... var" Bunun gibi başka örnek beyanları yazamazsınız. (En azından kendi sorunlarını getirecek olan OverlappingInstances olmadan.)

Answer 2

GHC bazı dil uzantılarını kullanarak tanım Bu 5 yılında 2 <> 3 sonucu yapar

{-# LANGUAGE FlexibleInstances, UndecidableInstances #-} 

instance Num t => Monoid t where 
    mappend = (+) 
    mempty = 0 

etkin sağlar. Overlapping instances for Monoid [Char]

Yani, kısa cevap olduğunu düşünüyorum:: hayır

Ama bu diğer Monoid durumlarda örtüştüğünü

, böylece bir hatayla "Hello" <> "World" sonuçlarını değerlendirmek için çalışıyor.