Aşırı yükleme fonksiyonu haskell

Question

imzaların ben derleme yaparken aşağıdaki hata iletisini alabilirsiniz:

Yinelenen tip imzası:
weightedMedian.hs: 71: 0-39: findVal :: [ValPair] -> Çift -> Çift
weightedMedian.hs: 68: 0-36: findVal :: [ValPair] -> Int -> Çift

Çözümümün findValI ve findValD sahip olmaktır. Ancak, findValI sadece Int türünü bir Double'e dönüştürür ve findValD öğesini çağırır.

Ayrıca ben Num (Int, Çift) türlerine değil desen maçı yüzden sadece ben farklı adlar gerek olmazdı Birçok dilde

findVal :: [ValPair] -> Num -> Double 

tip imzasını değiştiremezsiniz olabilir. Haskell'de neden farklı isimlere ihtiyacım var? Bu dile eklemek zor olur muydu? Yoksa orada ejderha var mı?

Answer 1

Ad-hoc polimorfizmi (ve adı aşırı yükleme) typeclasses tarafından Haskell verilmektedir:

class CanFindVal a where 
      findVal :: [ValPair] -> a -> Double 

instance CanFindVal Double where 
    findVal xs d = ... 

instance CanFindVal Int where 
    findVal xs d = findVal xs (fromIntegral d :: Double) 

Not bu durumda, findVal beri "gerçekten" bir Double ihtiyacı olduğunu, sadece her zaman almak olurdu bir çift ve bir int geçmek için gerektiğinde, sadece arama sitesinde fromIntegral kullanın. Tipik olarak, aslında farklı davranışlar ya da mantık söz konusu olduğunda yazım tiplerini tercih etmeniz gerekir. tarzı aşırı yüklenmesini (iyi o sortof typeclasses ile yapar ama biz aynı şekilde bunları kullanmayın) -

Answer 2

Haskell C++ desteklemiyor. Ve evet, çoğu zaman tür çıkarımı ile ilgisi olan (üstel zaman ya da kararsız hale gelir ya da bunun gibi bir şey) eklemeyle ilgili bazı ejderhalar vardır. Ancak, bunun gibi "uygunluk" kodunu görmek Haskell'de oldukça nadirdir. Hangisi, Int veya Double? Int yönteminiz Double yöntemine delege ettiğinden, benim tahminim Double "doğru" biridir. Sadece onu kullan. Çünkü edebi aşırı yüklenme nedeniyle, hala demek de mümkün:

findVal whatever 42 

Ve 42 bir Double olarak ele alınacaktır. Bu bozan tek vaka yerde temelde bir Int bir şey var ve bu argüman olarak geçmesi gerekiyor gerekiyorsa olduğunu. Sonra fromIntegral kullanın. Ancak, kodunuzun her yerde "doğru" türünü kullanmasını sağlamak istiyorsanız, bu durum nadir olacaktır (ve dönüştürmeniz gerektiğinde, buna dikkat çekmeye değer olacaktır).

Answer 3

Hem findVal :: [ValPair] -> Double -> Double hem de findVal :: [ValPair] -> Int -> Double'un desteklenmesi genellikle tehlikeli olan ad-hoc polimorfizmini (bkz. http://www.haskell.org/haskellwiki/Ad-hoc_polymorphism) gerektirir. Nedeni ad-hoc polimorfizm aynı sözdizimi ile semantik değiştirmeye izin vermesidir.

Haskell parametrik polimorfizmi ne denir tercih ediyor. Bunu her zaman tip değişkeni bulunan tip imzaları ile görürsünüz.

Haskell tip sınıfları aracılığıyla geçici polimorfizm daha güvenli bir sürümünü destekler.

Üç seçeneğiniz var.

1. Açık bir işlev adıyla ne yaptığınıza devam edin. Bu makul, hatta bazı c kütüphaneleri, örneğin opengl tarafından kullanılır.
2. Özel bir tür sınıfı kullanın. Bu muhtemelen en iyi yoldur, ancak ağırdır ve çok miktarda kod gerektirir (haskells tarafından çok kompakt standartlar). Kod için sclv'nin cevabına bak.
3. varolan tipi sınıfını kullanmayı deneyin ve (eğer GHC kullanıyorsanız) uzmanlık performansı olsun. Bunun gibi

: Bu durumda

findVal :: Num a => [ValPair] -> a -> Double 
{-# SPECIALISE findVal :: [ValPair] -> Int -> Double #-} 
{-# SPECIALISE findVal :: [ValPair] -> Double -> Double #-} 
findVal = ... 

Answer 4

, bunu ikinci argüman için Int ve Double hem işleyen bir işlevi yazmak kolay olduğunu düşünüyorum. Sadece findVal yazınız, böylece ikinci argümanda realToFrac. Bu Int'u Double'a dönüştürecek ve sadece Double'u bırakacaktır. Sonra tembelseniz, derleyicinin sizin için türünü çıkarmasına izin verin.

Answer 5

diğer birçok programlama dilinde böyle farklı parametre tipleri gibi (bir çeşit) kendi imzaları, aynı adı ancak farklı diğer şeylere sahip fonksiyonlar bildirebilirsiniz. Bu aşırı yükleme denir ve kesinlikle ad-hoc polimorfizm elde etmek için en popüler yoldur.

Haskell kasten tasarımcılar ad-hoc polymorphism ulaşmanın en iyi yolu olarak düşünmüyoruz çünkü aşırı DESTEKLEMEZ. Haskell yolu yerine polimorfizm kısıtlıdır ve `GHCi ve tip o kadar yükleme,