SML

2005:

[SML97] examples.

 

Run SML in interactive mode, e.g. on nexus,

ne> sml

Standard ML of New Jersey, Version 110.0.7, September 28, 2000 [CM; autoload enabled]

- 1+2;

val it = 3 : int

- <CTRL>d

or run a program in a file,

ne> sml < y.sml

Standard ML ...

- = val it = 6 : int

or run a program in a file in interactive mode

ne> sml

Standard ML ...

- use "y.sml";

[opening y.sml]

val it = 6 : int

val it = () : unit

NB. Quote the file name; the name is a string.

c1990:

• Y, fixed point operator -- note that SML is ``strict''.
• common functions -- a few simple examples.
• direct semantics -- of imperative features, updated 2005 for ML97 and, with a parser, [semantics.toy]  (also see denotational semantics).
• streams -- by continuations; also see Comp.Jrnl.1990.

Also see

[bibliography], [programming languages].