Monada listelor: Difference between revisions
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.