On Fri, 2014-10-03 at 15:32 +0100, Ramana Kumar wrote:
On Fri, Oct 3, 2014 at 3:15 PM, Tjark Weber <tjark.weber at it.uu.se> wrote: > Further note that "print" is also not Standard ML, although > TextIO.print is covered by the Basis Library.
In what sense is "print" not Standard ML?
In the same way "use" is not Standard ML (although as Makarius points out, at least "print" is in the Basis). They're not in the definition.
In this sense, very little is in the Definition. In SML'97, the initial basis intentionally "has been cut down to a bare minimum" [SML'97, section G.19]. At the same time, the SML Basis Library demands that "[r]equired components must be provided by all SML implementations."
Note that "use" and "print" have different status in the Basis Library, which explicitly states that "[i]mplementations are not required to supply a use function."
http://sml-family.org is worth a look.
Definitely.
Best, Tjark