This message appeared on the, long inactive, Sml-basis-discuss mailing
list a couple of weeks ago and may be of interest to Poly/ML users. I
think there are a number of issues that could be put forward. One thing
I'd like to see would be the addition of gcd and lcm to IntInf. At the
moment they're in PolyML.IntInf which isn't ideal.
David
-------- Forwarded Message --------
Subject: [Sml-basis-discuss] Standard ML Basis Library proposals
Date: Mon, 10 Aug 2015 11:43:00 +0200
From: John Reppy <[email protected]>
To: [email protected]
As part of the activity at sml-family.org, I have created a repository
and wiki for hosting
proposals for improvements to the SML Basis Library specification. To
get things started,
I've posted three initial proposals to the Wiki, along with reference
implementations.
These proposals have benefited from comments from David MacQueen,
Matthew Fluet, and Ken
Friis Larsen.
You can find the proposals at
https://github.com/SMLFamily/BasisLibrary
One important question is what process should we use for handing and
approving proposals.
A possible model is the SRFI process (http://srfi.schemers.org), which
has a well-defined
structure for how proposals are handled and a small number of editors
who are responsible
for managing the process. Because the SRFIs are not required, the
process for accepting
an SFRI is more lenient that we would want for the Basis Library, but
their baseline
set of requirements for a draft proposal seems reasonable.
_______________________________________________
Sml-basis-discuss mailing list
[email protected]
https://mailman.cs.uchicago.edu/mailman/listinfo/sml-basis-discuss
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
