9 Jan
2011
9 Jan
'11
6:29 a.m.
On Sat, Jan 8, 2011 at 4:53 PM, Lennart Augustsson <lennart@augustsson.net> wrote:
It so happens that you can make a set data type that is a Monad, but it's not exactly the best possible sets.
There's also the infinite search monad, which allows you to search infinite sets in finite time, provided your queries meet some termination criteria. http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-fin... http://hackage.haskell.org/package/infinite-search -- Dave Menendez <dave@zednenem.com> <http://www.eyrie.org/~zednenem/>