3 Feb
2010
3 Feb
'10
6:04 a.m.
On Tue, Feb 2, 2010 at 11:25 AM, David Menendez <dave@zednenem.com> wrote:
We could avoid that problem by redefining Gen as a state transformer monad.
newtype Gen a = MkGen { unGen :: StdGen -> Int -> (a, StdGen) }
Unfortunately, this makes things like
infinite_xs <- sequence (repeat arbitrary) no longer work, since the state never comes out the other side.
Which is a pretty significant change. -- ryan