[m-dev.] proposal: add uuid module to the standard library
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