Gearing up (again) for the next release: 2014.2.0.0

Nick Smallbone nicsma at chalmers.se
Mon Apr 7 14:18:53 UTC 2014


On Monday 07 April, 2014 at 02:53 pm, Johan Tibell wrote:
> > > Is StdGen so badly broken that it can't be fixed in a future version?
> >
> > The implementation of split is pretty broken. I suppose most people
> > don't need split but, unfortunately, QuickCheck uses it heavily (the
> > bind of the Gen monad splits the seed). I don't think anyone knows how
> > to fix it, since there's no obvious reason why the current split should
> > work at all!
> >
> 
> Basic question: is the type of split wrong or just the implementation?

Just the implementation. However, another question (which I don't know
the answer to) is whether the type of StdGen allows for a proper
implementation of split.

Nick


More information about the Libraries mailing list