Haskell, neden Num okurken Int okumak için varsayılan görünüyor?

Question

Ben şu kod işe beklemiyorduk:

foo :: (Num a) => a -> a 
foo x = x + x 

main = do 
    print (foo (read "7")) 

tamamen koduna göre ("7" okuyun) türünü anlaması mümkün değildir, çünkü. Ancak GHC (6.12.3) aksi düşünmez ve yazdırır. 14

"7", "7.2" olarak değiştirilirse, kod "ayrıştırmak yok" ile başarısız olur. Burada neler oluyor? Haskell, hangi Okuma örneğinin kullanılacağına nasıl karar verir?

Answer 1

Bu, Haskell'in defaulting rules for the Num class kaynaklıdır. Eğer dosyanın başına

default (Double, Integer) 

eklendi, o zaman aşağıdaki sonuçlar alırsınız: Özetle

main = do 
    print (foo (read "7")) -- prints "14.0" 
    print (foo (read "7.2")) -- prints "14.2" 

, varsaymak kurallar "doğru olanı yapmaya çalışacağım yönelik olduğu belirtildi "ve programınızda belirsiz bir türünüz olduğunda sizi derleme hatasından kurtarırım. Ne yazık ki bu durumda, bir çalışma zamanı hatası için bir derleme zamanı hatası gerçekleştirir.

Öyle gibi varsaymak devre dışı bırakabilirsiniz: açıkça tip ek açıklamalar üzerinden bu tür terimlerin türlerini belirsizliği için zorlar

default() 

:

print (foo (read "7" :: Int)) 

Answer 2

Int, bu örnekte varsayılan türdür. Bkz. 6.3, Haskell'in Tarihinde Belirsizlik ve Tip Belirleme: Sınıf ile Tembellik Olmak: