[m-dev.] proposal: add uuid module to the standard library
novalazy at gmail.com
Sat Oct 31 17:18:31 AEDT 2020
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.
More information about the developers