On 11/01/14 15:12, Kagamin wrote:
> Only the cast breaks the type system, I go through holes. It's just a joke,
> purity and immutability are valued for their deterministic traits, so a random
> number generator is the last thing one would want to make pure or immutable.

That depends on your concept of a PRNG.  Strictly speaking it can/should consist of

    (i) an immutable state

   (ii) a pure function that takes as input the current immutable state and
        returns a new immutable state.

In practice, of course, it's almost invariably easier to implement this as a type that has mutable internal state.