Monadları kompozitlere bağlama (Haskell)

Question

İyi günler millet. Monad'larda lütfen biraz açıklık arıyorum ve lütfen bind kullanın (bir kompozit içine girerken .). Yani bu örnek için

:

--Monadic parts: 
readFile :: String -> IO File 
putStr :: String -> IO() 
-- Non monadic parts 
toMatrix :: String -> CustomMatrix 
toString :: CustomMatrix -> String 

Esasen ben tembel bir dosya (readFile) daha sonra, özel bir matris üreten bir dize çıkışına matrisi dönüştürme okuyorum

. Sonra geri dönüyor. Ben readFile file gitmek için bağlama >>= kullanarak bir karışıklık oluşturmaya başladığında

fileReading :: String -> IO 
fileReading file = putStr(toString . toMatrix . readFile file) 

budur. Kompozitleri . kullanmaya devam edebilmem ve okunamayan bir karışıklık yapmadan (gerçekten amacım değil) bağlama ve oluşturma yolunun bir yolu var mı?

Her zaman olduğu gibi, herhangi bir yardım minnetle alınır. Teşekkürler millet.

Answer 1

Bu örnekte bazı monadic işlevini (>>= gibi) kullanmadan uzaklaşamazsınız. Aslında bazı IO'ları yapmak istiyorsanız, normal fonksiyon kompozisyonunu IO değerleri ile kullanamazsınız.

mutlu ki, hala oldukça okunabilecek kodu yazabilirsiniz: İki . operasyonlar son bir IO fonksiyonlu olmayan iki IO fonksiyonları birleştiren çünkü

fileReading file = readFile file >>= putStr . toString . toMatrix 

Bu çalışır. Bu noktada, iki IO değeriniz vardır: bir IO String ve bir String -> IO() işlevi (putStr . toString . toMatrix ifadesinin tamamı bu türe sahip). Bu tam olarak >>='un aldığı şeydir, dolayısıyla hepiniz ayartınız.

kod yukarıdaki aynı sırada olmasını isterseniz, geriye bağlama operatörünü kullanabilirsiniz: tüm kodu aynı yer "akar" çünkü

fileReading file = putStr . toString . toMatrix =<< readFile file 

Bazı insanlar daha okunabilir bu sürümünü bulmak yön.