On 03-Feb-2000, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote:
>
> The current story says
> "at least 30 bits"; you are suggesting [minBound..maxBound].
A small quibble: I think your summary of the current story
does not tell the full story.
The current report says "at least 30 bits (one Int's worth)".
I think it would be quite reasonable to interpret that as
meaning one full Int's worth, in which case my proposal is
just a clarification, not a change.
Indeed, thinking back, and having just scoured my old mail archives,
I suspect that was indeed what I originally intended when I proposed
separating out the random number generator interface into a separate
class with a method of type `rng -> (Int, rng)':
| Date: Fri, 11 Dec 1998 02:39:28 +1100
| From: Fergus Henderson <[EMAIL PROTECTED]>
| To: Ralf Hinze <[EMAIL PROTECTED]>
| Cc: [EMAIL PROTECTED], ...
...
| But I do think it is worth abstracting over the random number generators.
|
| -- RNG is a class which abstracts Random Number Generators
| class (Read rng, Show rng) => RNG rng where
| rng_next :: rng -> (Int, rng)
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.