99 haskell problemi yapmaya başladım ve problem 7'daydım ve isimlerim havaya uçuyordu. Görünüşe göre, buna bağlı bulunuyor: Ben biraz kafam karıştı çünkü http://www.haskell.org/haskellwiki/Monomorphis
O ghc 7.10 yılında, bu ince derler çıkıyor şu hatayla mysum = foldr (+) 0
sonuçları: No instance for (Foldable t0) arising from a use of ‘foldr’
The type variable ‘t0’ is ambiguous
Relevant bindin
Sayısal değişmezleri bir polimorfik türü var: *Main> :t 3
3 :: (Num t) => t
Ama böyle bir değişmez bir değişken bağlamak eğer, çok biçimlilik kaybolur: x = 3
...
*Main> :t x
x :: Integer
Ben b
, örneğin, bir isim için bir işlev bağlamak için genellikle uygundur: ghci> let f = (+1)
ghci> f 1
2
Bu işlevin (+1) adını f Takma Adlar. Basit. Bununla birlikte, bu her zaman işe yaramamaktadır.