Could somebody - perhaps outside this list - provide a serious
example showing the *necessity* for RandomIO() - the Monadic,
"side-effect" version? In a pure functional language?
I use random numbers from time to time.
I have always used sequences, lazily generated. No problem
with the seed injection/restoring, and - what is *much* more
important:
No problem with having *several* generators within the program.
In a serious application this is useful for generating random
vectors, or for using one generator to decorrelate another.
I agree with the comments of David Tweed. Please give the
People the Power to plug-in several generators, instead of
eine Sprache, eine Kirche, ein ZufallsZahlGeneratorIO()...
You might answer that a primitive is more efficient. But in
typical simulations or other applications which use random
numbers (Monte-Carlo, etc.) this is usually not as important.
Best regards
Jerzy Karczmarczuk
Caen, France.
