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 <jhr at cs.uchicago.edu> To: Sml-basis-discuss at mailman.cs.uchicago.edu

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 Sml-basis-discuss at mailman.cs.uchicago.edu https://mailman.cs.uchicago.edu/mailman/listinfo/sml-basis-discuss