Difference between revisions of "Mlist"
Jump to navigation
Jump to search
m (To be deleted if no new content appears...) |
m |
||
Line 1: | Line 1: | ||
− | MList is a monadic-list, aiming to be an alternative to lazy I/O. |
+ | MList is a monadic-list, aiming to be an alternative to [[Lazy IO|lazy I/O]]. |
MList is parameterized on a monadic type, such that folding the list executes actions of that monad. |
MList is parameterized on a monadic type, such that folding the list executes actions of that monad. |
Latest revision as of 12:02, 19 April 2024
MList is a monadic-list, aiming to be an alternative to lazy I/O.
MList is parameterized on a monadic type, such that folding the list executes actions of that monad.
A value of type: MList IO a represents a list of a's whose evaluation continually requires executing actions in IO.
MLists do not cache results -- re-iterating an MList will re-execute the actions in the MList.