Neden üst düzey işlevlerimin Haskell'de imzalara ihtiyacı var?

Question

GHC, en üst düzeyde işlev imzalarım olmadığına dair uyarıyor. Onlara neden ihtiyacım olduğunu anlamıyorum.

applyValue :: forall t t1 t2 t3 t4. 
       (t2 -> t) 
       -> (t2 -> t3 -> t4 -> t1) -> t2 -> t3 -> t4 -> (t -> Bool) -> [t1] 

Öyleyse neden rahatsız olur ekleyerek: sağlayarak sorunu onlar (oluşturulan) bunun gibi oldukça sofistike olmasıdır?

kendisi işlevi: makine kontrol edilebilir belgelerin bir formu olarak

applyValue getValueAt stitchAndMove at fabric mark matchAt = 
    if matchAt (getValueAt at) 
    then [stitchAndMove at fabric mark] 
    else [] 

Answer 1

• . Eğer bu türün doğru tipte olduğuna inanıyorsanız, oraya koymak, derleyiciyi, daha sonraki kaçınılmaz refactoring seanslarınız sırasında kendi arayüzünüzü hortumlamadığınızı iki kez kontrol etmesini ister.
• İnsan tarafından okunabilir belgeler. Gördüğünüz gibi, korkunç bir makine tarafından oluşturulmuş bir tür yazdığınızı fark ettiğinizde, muhtemelen insan tarafından okunabilir hale getirmek için ihtiyacınız olan (tip düzeyinde) soyutlamalar hakkında düşünmenin zamanı gelmiştir.
• Mezgit balığı için. Haddock yorumları, imzalara değil, imzalara eklenir, bu yüzden bir tür imzayı bırakırsanız, dikkatle elle yazılmış belgeleriniz sessizce göz ardı edilir.
• Hata iletilerini ve ghci sorgu sonuçlarını iyileştirmek için: tür değişkenlerinin gerçek adlarının önemli olmamasına rağmen, GHC, kullanıcı tarafından sağlandığında adları korumakta zorlanır. (node -> Bool) -> (edge -> Bool) -> (graph -> Bool) gibi bir şey, eşdeğer olsalar bile (t1 -> Bool) -> (t2 -> Bool) -> (t3 -> Bool)'dan çok daha okunabilir olabilir.