Monade vincolanti in compositi (Haskell)

Question

Buona giornata gente. Sto cercando alcuni chiarimenti sulle monadi per favore e usando bind (mentre si va in un composito .) per favore.

Così, per questo esempio:

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

In sostanza sto pigramente lettura di un file (readFile) poi produrre una matrice personalizzata, convertendo la matrice a un'uscita stringa. Quindi ritorno.

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

Questo è quando ho iniziare a creare un pasticcio utilizzando legano >>= per andare da readFile file. C'è un modo per continuare a usare i compositi . e legare e comporre senza fare un pasticcio illeggibile (non proprio il mio obiettivo).

Come sempre, qualsiasi aiuto viene accolto con gratitudine. Grazie gente.

Answer 1

In questo esempio non è possibile scappare senza utilizzare della funzione monodica (come >>=). Non è possibile utilizzare la normale composizione di funzioni con i valori di I/O se si vuole effettivamente fare qualche IO.

Fortunatamente, si può ancora scrivere il codice piuttosto essere letti:

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

Questo funziona perché i due . operazioni combinano due funzioni non-IO con una funzione di finale IO. A quel punto, hai due valori di I/O: una funzione IO String e una String -> IO() (l'intera espressione putStr . toString . toMatrix ha quel tipo). Questo è esattamente ciò che prende >>=, quindi tutto è pronto.

Se si desidera che il codice abbia lo stesso ordine di cui sopra, è possibile utilizzare l'operatore si legano a ritroso:

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

Alcune persone trovano questa versione più leggibile perché tutto il codice "flussi" nella stessa direzione.