Difference between revisions of "Monada listelor"
Jump to navigation
Jump to search
(New page: O monada foarte simpla in care injectia (cu) 'return' transforma elementul ''a'' in lista cu acel element: ''[a]''. Impreuna cu un operator >>= bine ales formeaza o monada care se poate f...) |
m (Minor formatting changes) |
||
| Line 1: | Line 1: | ||
O monada foarte simpla in care injectia (cu) 'return' transforma |
O monada foarte simpla in care injectia (cu) 'return' transforma |
||
| − | elementul ''a'' in lista cu acel element: |
+ | elementul ''a'' in lista cu acel element: <code>[a]</code>. |
| − | Impreuna cu un operator >>= bine ales formeaza o monada care se poate folosi la simularea paralelismului si la alte aplicatii, printre care scrierea unor succesiunui de calcule in do-notatie. |
+ | Impreuna cu un operator <code>(>>=)</code> bine ales formeaza o monada care se poate folosi la simularea paralelismului si la alte aplicatii, printre care scrierea unor succesiunui de calcule in <code>do</code>-notatie. |
Este asemanatoare cu monada [[Maybe]] construita in jurul tipului [[Maybe]]. |
Este asemanatoare cu monada [[Maybe]] construita in jurul tipului [[Maybe]]. |
||
Latest revision as of 22:35, 5 April 2021
O monada foarte simpla in care injectia (cu) 'return' transforma
elementul a in lista cu acel element: [a].
Impreuna cu un operator (>>=) bine ales formeaza o monada care se poate folosi la simularea paralelismului si la alte aplicatii, printre care scrierea unor succesiunui de calcule in do-notatie.
Este asemanatoare cu monada Maybe construita in jurul tipului Maybe.
See List monad.