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

Julien Fischer jfischer at opturion.com
Sat Oct 31 17:09:23 AEDT 2020

On Sat, 31 Oct 2020, Zoltan Somogyi wrote:

> 2020-10-31 16:47 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>> 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?
> No objection from me, but I would ask for an expansion of the comment
> on the uuid type, to say what the role of each group of octets is, and to say
> what the difference with Java is, and why it exists. (The three lines at the top
> of the Java foreign_code did not answer that question for me.)

Shall do -- I'll post it all for a proper review with the diff that adds
it to the stdlib.


More information about the developers mailing list