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

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Feb 15 15:59:12 AEDT 2007

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.

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

More information about the users mailing list