Difference between revisions of "Cum poate fi definit sequence ?"

From HaskellWiki
Jump to navigation Jump to search
m
 
m
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
  +
[[Category:Ro]]
1) In do-notatie, in mod recursiv ar putea fi definit ca:
 
  +
  +
'''sequence_''' transforma o '''lista''' de actiuni de IO () (sau alte actiuni monadice) intr-o '''singura''' actiune compusa. Ati putea face in C asa ceva ? Adica ati putea face in C o functie care transforma o lista de instructiuni intr-un bloc ?
  +
 
1) In do-notatie, in mod recursiv, '''sequence_''' ar putea fi definit ca:
   
 
<haskell>
 
<haskell>
Line 14: Line 18:
 
sequence_ = foldr (>>) (return () )
 
sequence_ = foldr (>>) (return () )
 
</haskell>
 
</haskell>
  +
  +
----
  +
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 Intrebarile incepatorului Ro/Haskell. ]

Latest revision as of 21:45, 25 January 2008


sequence_ transforma o lista de actiuni de IO () (sau alte actiuni monadice) intr-o singura actiune compusa. Ati putea face in C asa ceva ? Adica ati putea face in C o functie care transforma o lista de instructiuni intr-un bloc ?

1) In do-notatie, in mod recursiv, sequence_ ar putea fi definit ca:

sequence_         :: [ IO() ] -> IO ()
sequence_  []     = return ()
sequence_  (a:as) = do a
                       sequence_ as

2) Vazut ca un foldr ar putea fi definit ca:

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

Pagina indexata la indexul Categories:Ro


<= Inapoi la pagina principala Ro/Haskell.

<- Inapoi la Intrebarile incepatorului Ro/Haskell.