[m-dev.] proposal: add uuid module to the standard library

[Zoltan Somogyi]

2020-10-31 17:41 GMT+11:00 "Peter Wang" <novalazy at gmail.com>:
> On Sat, 31 Oct 2020 17:22:09 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>> 
>> 2020-10-31 17:18 GMT+11:00 "Peter Wang" <novalazy at gmail.com>:
>> > We do have a uuid module in Prince but all it does is generate random
>> > UUIDs by reading from a cryptographic RNG (which is platform specific)
>> > and knocking out the relevant bits, and converting the uuid to a string
>> > or byte array representation.
>> 
>> Julien's module does that too.
> 
> (The glue code to read from a cryptographic RNG needs to be supplied.)

This is definitely true. Julien's module wouldn't be really useable
to create uuids unless the Mercury standard library also had a cryptographic
RNG.

Zoltan.