|
- [Basics] of SML.
-
- Hello world:
[an error occurred while processing this directive]
|
use:
ne> sml
Standard ML of ...
- use "hello.sml";
[opening hello.sml]
hello world
val it = () : unit
val it = () : unit
-<CTRL>d
- ne>
|
-
- cat:
[an error occurred while processing this directive]
|
-
- [Big Ints], more than 32- or 64-bits.
-
- [High-Order Functions]
accept functions as parameters and/or return functions as results.
-
- [Parser] (recursive descent) for expressions.
-
- [Lazy data types]
are not standard in SML but they can be implemented in the language.
-
- [Structures, signatures, functors],
struct, sig.
-
- [Continuations]
can be used to implement non-standard control mechanisms.
-
- [Fixed-point operator, `Y'],
note that Y does not refer to itself within its body,
nor does the local function Ggg;
one could rewrite Y to consist of only anonymous functions.
Also see [λ/Y].
-
- [semantics.toy]
direct denotational sematics of a toy imperative language
expressed in SML-97
-
Further Reading:
- [λ-calculus].
- [Bibliography].
|
SML:
:: | cons |
[x1,...] | list |
[ ] | list |
@ | append |
fn => | &lambda . |
: | has type |
|
|
|