Standard ML - Code Examples

Code Examples

Snippets of SML code are most easily studied by entering them into a "top-level", also known as a read-eval-print loop. This is an interactive session that prints the inferred types of resulting or defined expressions. Many SML implementations provide an interactive top-level, including SML/NJ:

$ sml Standard ML of New Jersey v110.52 -

Code can then be entered at the "-" prompt. For example, to calculate 1+2*3:

- 1 + 2 * 3; val it = 7 : int

The top-level infers the type of the expression to be "int" and gives the result "7".

Read more about this topic:  Standard ML

Famous quotes containing the words code and/or examples:

    “Wise Draco comes, deep in the midnight roll
    Of black artillery; he comes, though late;
    In code corroborating Calvin’s creed
    And cynic tyrannies of honest kings;
    He comes, nor parlies; and the Town, redeemed,
    Gives thanks devout; nor, being thankful, heeds
    The grimy slur on the Republic’s faith implied,
    Which holds that Man is naturally good,
    And—more—is Nature’s Roman, never to be
    scourged.”
    —Herman Melville (1819–1891)

    “It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.”
    —G.C. (Georg Christoph)