7 Apr
2014
7 Apr
'14
10:18 a.m.
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