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

[Peter Wang]

On Sat, 31 Oct 2020 16:47:53 +1100 Julien Fischer <jfischer at opturion.com> wrote:
> 
> Hi all,
> 
> Some time ago I wrote a library for handling UUIDs in Mercury.
> Initially, it was just a wrapper around libuuid, java.util.UUID etc.  I
> have recently added a Mercury implementation of UUIDs to it, removing
> the need for any external libraries.  I think it would be worth adding
> this to the standard library.  Any objections?

I'm not really in favour.

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. I'm not sure why anyone ever needs to
inspect the internal structure of a UUID.

Peter