Difference between revisions of "Ce sunt monadele din clasa Monad ?"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
| + | [[Category:Ro]] |
||
| ⚫ | |||
| + | |||
| ⚫ | |||
Alte raspunsuri: |
Alte raspunsuri: |
||
| Line 5: | Line 7: | ||
* ...triple Kleisli sub alta prezentare |
* ...triple Kleisli sub alta prezentare |
||
* ... structuri formate dintr-un constructor de tip si doua functii polimorfice (return, bind) capabile sa indeplineasca anumite axiome. |
* ... 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. |
... va urma. |
||
| + | |||
| + | |||
| + | <center> |
||
| + | |||
| + | http://www.haskell.org/wikiupload/2/2c/BannerProLinuxAndHaskell.gif |
||
| + | |||
| + | [http://stiinte.ub.ro La facultate poti invata unul din cele mai productive limbaje: Haskell.] |
||
| + | </center> |
||
| + | |||
| + | ---- |
||
| + | Pagina indexata la indexul [[Category:Ro]] [http://www.haskell.org/haskellwiki/Category:Ro Categories:Ro] <BR> |
||
| + | |||
| + | ---- |
||
| + | [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'. ] |
||
Latest revision as of 12:44, 6 February 2011
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.
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'.