[m-dev.] proposal: add uuid module to the standard library
zoltan.somogyi at runbox.com
Sat Oct 31 16:59:32 AEDT 2020
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.)
More information about the developers