Belirsiz türlerle kompozisyon

Question

Bu etikete ilk kez yazıyorum ve hala dil ile geçici adımlar atıyorum, ancak bazı dinamik FP arka planım var, bu yüzden zaten birkaç kavramla tanıştım.

Bir isZero işlev tanımladım.

isZero :: Int -> Bool 
isZero x = x == 0 

Ve bir isMultiple fonksiyonunu oluşturmak için mod fonksiyonu ile bu oluştururlar çalışıyorum. o (birden çok precisions destekler çünkü bu olduğunu varsayarak) a0 -> Int ve moda0 -> a0 -> a0 olduğunu olmasını imzayı bekliyor çünkü

isMultiple = isZero . mod 

Ancak bu, bir tür uyumsuzluğu neden olur.

Sadece bunları açıkça oluşturuyorsam (ve bir tür imzası), o zaman sorun olmadığını fark ettim.

isMultiple :: Int -> Int -> Bool 
isMultiple x n = isZero $ mod x n 

. operatörünü kullanarak belirsiz türleriyle oluşturma işlevlerini kullanmak için bir yolu var mı?

Answer 1

Eh, en isMultiple senin ilk tanımı türlerine bir göz atalım: Gördüğünüz gibi

(.)   :: (b -> c ) -> (a -> b   ) -> a -> c 
isZero   :: Int -> Bool 
mod   ::     Int -> Int -> Int 
        -- same as  Int -> (Int -> Int) 

, hem b 'ın aynı değildir. Bu yüzden işe yaramıyor. Ancak, bir işe alabilirsiniz ama bu artık gözle o kadar kolay değil:

isMultiple = (isZero.) . mod 
      = ((.) isZero) . mod 
      = \x -> ((.) isZero) . mod $ x 
      = \x -> ((.) isZero) (mod x) 
      = \x -> (.) isZero (mod x) 
      = \x -> isZero . mod x 

Gördüğünüz gibi, mod xInt -> Int yazın sahiptir ve bu nedenle (.) ve isZero ile kompozisyon için uygundur.