Personal tools

Cum transform o lista de actiuni de IO in actiunea-secventa a lor ?

From HaskellWiki

Revision as of 20:24, 5 January 2008 by Ha$kell (Talk | contribs)

Jump to: navigation, search

Folositi o functie sequence_ cum este cea de mai jos.

 
sequence_         :: [ IO() ] -> IO ()
sequence_  []     = return ()
sequence_  (a:as) = do a
                       sequence_ as           -- atentie la aliniere !!

Sequence_ se putea defini si intelege si ca un foldr, ca o schimbare a operatorilor cons ":" de pe lista cu secventierea (>>) (care se pronunta then ) a doua actiuni de IO. Valoarea initiala pentru foldr este bineinteles actiunea de IO vida: return ()

sequence_ = foldr (>>) (return () )

Nota: atat sequence cat si sequence_ ar trebui sa fie definite deja nu numai pentru Monada de IO ci si in general pentru oricare dintre monade. Tipul lor este de fapt mai general decat am scris mai sus.

Cum il aflati ?
tastati :t sequence
apoi
tastati :t sequence_