Difference between revisions of "Cum transform o lista de actiuni de IO in actiunea-secventa a lor ?"
Jump to navigation
Jump to search
m |
m |
||
| Line 1: | Line 1: | ||
| + | [[Category:Ro]] |
||
Folositi o functie sequence_ cum este cea de mai jos. |
Folositi o functie sequence_ cum este cea de mai jos. |
||
| Line 22: | Line 23: | ||
apoi <br> |
apoi <br> |
||
tastati :t sequence_ <br> |
tastati :t sequence_ <br> |
||
| + | ---- |
||
| + | Pagina indexata la indexul [[Category:Ro]] [http://www.haskell.org/haskellwiki/Category:Ro Categories:Ro] |
||
| + | ---- |
||
| + | [http://www.haskell.org/haskellwiki/Ro/Haskell <= Inapoi la pagina principala Ro/Haskell. ]<br> <br> |
||
| + | [http://www.haskell.org/haskellwiki/Intrebarile_incepatorului <'''-''' Inapoi la inceputul paginii 'Intrebarile incepatorului Ro/Haskell'. ] |
||
Revision as of 14:40, 10 February 2008
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_
Pagina indexata la indexul Categories:Ro
<= Inapoi la pagina principala Ro/Haskell.
<- Inapoi la inceputul paginii 'Intrebarile incepatorului Ro/Haskell'.