Ce sunt monadele din clasa Monad ?

From HaskellWiki
Revision as of 12:44, 6 February 2011 by Ha$kell (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


Structuri algebrice utile pe baza carora functioneaza (conform intuitiei) do-notatia. Daca structurile n-ar avea anumite proprietati nu ar functiona do-notatia asa cum ne asteptam de la programarea imperativa.

Alte raspunsuri:

  • ...triple Kleisli sub alta prezentare
  • ... structuri formate dintr-un constructor de tip si doua functii polimorfice (return, bind) capabile sa indeplineasca anumite axiome.
  • ... structuri algebrice cu care intamplator operatiile secventiale de IO s-au potrivit
  • ... garantia ca do-notatia merge corect
  • ... o clasa de tipuri ale carei axiome corespund cu propriatatile intuitive ale do notatiei.

... va urma.


BannerProLinuxAndHaskell.gif

La facultate poti invata unul din cele mai productive limbaje: Haskell.


Pagina indexata la indexul Categories:Ro


<= Inapoi la pagina principala Ro/Haskell.

<- Inapoi la inceputul paginii 'Intrebarile incepatorului Ro/Haskell'.