[mercury-users] Converting time_t to int using common library?

[Julien Fischer]

On Thu, 15 Feb 2007, Ralph Becket wrote:

> doug.auclair at logicaltypes.com, Wednesday, 14 February 2007:
>> ... also, since random.m is very weak, will the tausworthe one or
>> samples/qcheck/rnd.m one replace random.m in the standard library?
>
> I would like to, but this gets discussed every year or two and certain
> members of the Mercury team are adamant that only having a rubbish RNG
> in the library is a good thing because it forces people who actually
> care about having decent random numbers to do their homework.  I remain
> unconvinced by this argument...

Those certain members of the Mercury team (who I suspect are Mark and 
myself) are *not* adamant about only having a rubbish random
generator in the standard library - we don't want *any* random number
generator in the standard library.  Rather we want a typeclass that
encapsulates random number generators and then allow users to plug
their own generators in.  Predicates like the random_float one that
Doug is proposing would use that typeclass.

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------