nasıl</p> <pre><code>f :: a -> b g :: b -> c h :: c -> d </code></pre> <p>Haskell

Question

demek de bileşim operasyonu (.) ait ilişkisel yasası kanıtlamak için? nasıl kanıtlanır? ve kompozisyon çalışması Haskell, sadece temel bir işlem mi yoksa kendimiz tarafından bir tane olsun? eğer öyleyse bunu nasıl başarabilirim?

(.) :: (b -> c) -> (a -> b) -> a -> c 
g . f = \x -> g (f x) 

Şimdi, birleşim kanıtlamak için:

Answer 1

Sen şöyle kompozisyon operatöre kendini tanımlayabilir

lhs = h . (g . f) 
    = \x -> h ((g . f) x)   -- substitution 
    = \x -> h ((\y -> g (f y)) x) -- substitution 
    = \x -> h (g (f x))   -- beta reduction 

rhs = (h . g) . f 
    = \x -> (h . g) (f x)   -- substitution 
    = \x -> (\y -> h (g y)) (f x) -- substitution 
    = \x -> h (g (f x))   -- beta reduction 

Şimdi, lhs = rhs var. QED.