LA home
 PFL (λ-CCS)


also see
Standard ML (SML) is a functional programming language. ML was devised at Edinburgh University and gave rise to a number of descendant languages. Purists would call SML an applicative language because it has strict evaluation, not lazy evaluation, and has assignable variables. SML-97 was standardised c1997.
[Programming Examples].
To run SML in interactive mode:
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 after use; the name is a string.


Also see [programming languages].
www #ad:

:: cons
[x1,...] list
[ ] list
@ append
fn =>  λ .
: has type

↑ © L. Allison,   (or as otherwise indicated).
Created with "vi (Linux)",  charset=iso-8859-1,   fetched Monday, 22-Jul-2024 23:41:57 UTC.

Free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop, Firefox web-browser, FlashBlock flash on/off.