Basics of Standard ML

7/28/2019 Basics of Standard ML

1/21

Basics of Standard ML

Michael P. Fourman

February 2, 2010

Introduction

ML stands for MetaLanguage. Robin Milner had the idea of creatinga programming language particularly adapted for writing applications thatwould process logical formulae and proofs. This language would be a meta-language for manipulating objects representing formulae of the logical objectlanguage.

The first ML was the meta-language of the Edinburgh LCF proof assis-tant. It turned out that Milners meta-language became, with later additions

and refinements, a versatile and innovative general-purpose programminglanguage. Today there are many languages that adopt many or all of Mil-ners innovations. Standard ML (SML) is the most direct descendant of theoriginal, CAML is another, Haskell is a more-distant relative. In this note,we introduce the SML language, and see how it can be used to compute someinteresting results with very little programming effort.

In the beginning, you were told that a program is a sequence of instruc-tions to be executed by a computer. This is not true! Giving a sequence ofinstructions is just one way of programming a computer. A program is a textspecifying a computation. The degree to which this text can be viewed as asequence of instructions varies from programming language to programming

language. In these notes we will write programs in the language ML, whichis not quite so explicit as languages such as C and Pascal about the stepsneeded to perform a desired computation. In many ways, ML is simpler thanPascal and C. However, you may take some time to appreciate this.

ML is primarily a functional language: most ML programs are best viewedas specifying the values we want to compute, without explicitly describingthe primitive steps used to achieve this. In particular, we will not generallydescribe (or be concerned with) the way values stored in particular memorylocations change as the program executes. This will allow us to concentrate

1


2/21

on the organisation of data and computation, without becoming mired in

detailed housekeeping.ML programs are fundamentally different from those you have become

accustomed to write in a traditional imperative language. It will not befruitful to begin by trying to translate between ML and the more-familiarparadigm resist this temptation!

We begin this chapter with a quick introduction to a small fragment ofML. We then use this to investigate some functions that will be useful lateron. Finally, we give an overview of some important aspects of ML.

It is strongly recommended that you try some examples on the computeras you read this text.1

An ML session

We introduce ML by commenting on a short interactive session. In the text,human-computer interactions are set in typewriter font. Lines beginningwith a prompt character > or # are completed by the human; otherlines are the ML systems responses.

Evaluating expressions If the user types an expression, the ML system

responds with its value this makes your workstation into an (expensive)calculator.

> 4.0 * arctan(1.0);

val it = 3.141592654 : real

In this example, an expression is evaluated to compute the real number, .

Naming values A value declaration, introduced with the keyword val,allows us to give a name of our choice to the value of an expression. Thevalue declaration:

> val pi = 4.0 * arctan 1.0;

val pi = 3.141592654 : realgives the name, pi, to the value, , for use later in our ML session.

Declaring functions ML provides a number of built-in functions, such asarctan; an ML program extends this repertoire by declaring new functions.

1User input is terminated with a semicolon, ;. In most systems, this must be followedby , to tell the system to send the line to ML. The examples have been run usingAbstract Hardware Limiteds Poly/ML system. The Poly/ML prompt is > or, if inputis incomplete, #.

2


3/21

To declare a function, toDegrees, that converts an angle in radians to de-

grees, we use the keyword fun, followed by the mathematical definition ofthe function:

> fun toDegrees(r) = 180.0 * r / pi ;

val toDegrees = fn : real -> real

We can use this just like any built-in function:

> toDegrees(1.0);

val it = 57.29577951 : real

one radian is approximately 57.3 degrees.

Recursion A function defined using fun may be recursive. Here we declarethe factorial function:

> fun fact(0) = 1

# | fact(n) = n * fact(n-1);

val fact = fn : int -> int

In this example, the declaration consists of two clauses. The first clauseapplies when the argument is zero, the second in every other case; so

fact(0) = 1

fact(1) = 1 fact(0) = 1fact(2) = 2 fact(1) = 2

fact(3) = 3 fact(2) = 6

and so on. The factorial of 40 is a large number:

> fact 40;

val it = 815915283247897734345611269596115894272000000000 : int

Summary This example session demonstrates several key ideas:

We evaluate expressions to find their values.

Values may be named so they can be re-used without recomputation.

To extend the range of expressions we can evaluate, we declare func-tions.

Recursion allows us to perform repetetive computations.

3


4/21

Basic ML

A program consists of a sequence of declarations:

value declarations of the form val name = expression, and

function declarations of the form fun name pattern = expression.

in addition, a function declaration may have several clauses, separated by | .Identifiers, such as arctan, x, pi, +, and *, are used as names; fun, val, =,|, and ; are keywords they have special meanings in ML.

We will introduce other ML constructs in due course, but first we usethis fragment to investigate the relationship between the size and height forvarious shapes of tree.

Trees and counting

Trees will figure largely in these notes. Here we use recursive functions tocompute various vital statistics of a tree. These will be useful to us in duecourse. Later, we will represent trees themselves as data values, and writefunctions that build and transform trees; we will study tree-based algorithmsin some detail. For now, we use trees to provide some interesting countingproblems, and restrict ourselves to numeric calculations in our simple frag-

ment of ML. We will write ML functions to count the numbers of leaves andnodes in trees of various shapes.

Binary Trees

A binary tree is one in which each internal node has exactly two children (wecall them left and right, for convenience).

Full Trees A binary tree is full if, at each internal node, the left and rightsubtrees grow equally; in particular, they are both full and have the sameheight. We start by counting the leaves of a full binary tree. We introduce anotation b(n), say, for the number of leaves in a full binary tree of height n,and write down a couple of obvious equations:

b(0) = 1

b(n + 1) = b(n) + b(n)

A tree of height zero is just a single leaf; the number of leaves in a tree ofheight n + 1 is the sum of the numbers of leaves in its two subtrees (both ofheight n).

4


5/21

Here is an ML function to compute b(n)

fun B(0) = 1

| B(n) = B(n-1) + B(n-1);

The relation to the mathematical equations is just like that for the fac-torial function. This is an obviously correct way to compute b(n), but it isparticularly inefficient. Well return to the issue of efficiency later.

Balanced Trees

A tree is unbalanced if it grows unequally. In the most unbalanced binary

tree, one child of each internal node has zero height. We call such a treea spine. The number S(n) of leaves in a spine of height n is given by thefollowing equations:

S(0) = 1

S(n + 1) = S(n) + 1

The corresponding ML function definition is

fun S(0) = 1

| S(n) = S(n-1) + 1;Again, efficiency will come later; this is not the most effective way to

compute S(n)!

We say a tree is balanced if, at any node, the heights of the two subtreesdiffer by at most 1.

Now consider a balanced tree, where the height of each right subtree is,if possible, exactly one less than the height of its sibling, left, subtree. LetF(n) be the number of leaves in a slightly unbalanced tree of height n.

F(0) = 1

F(1) = 2

F(n + 2) = F(n + 1) + F(n)

This function should be vaguely familiar; here is the corresponding ML dec-laration:

fun F(0) = 1

| F(1) = 2

| F(n) = F(n-1) + F(n-2);

5


6/21

Bushy Trees

In an n-ary tree, each internal node has n children. A full n-ary tree of heighth has Tn(h) = n

h leaves.

fun T(n,0) = 1

| T(n,h) = n * T(n, h-1);

Binomial Trees

Now we consider a more complex, and more interesting, example. A binomialtree, Bn, of height n has a root node with n children; these children are the

roots of the n binomial trees Bn1 . . . B0. Notice that, by this definition, B0is just a leaf.

Now let us write B(n) for the number of nodes in the binomial tree Bn

B(n) = 1 + n1i=0

B(i)

Here we add one (for the root node) to the sum representing the nodes of then children. Following the model of the function given earlier for summingsquares, we can compute B(n) as follows

fun B(n) = 1 + SB(n)

and SB(0) = 0

| SB(n) = B(n-1) + SB(n-1);

Here we declare two mutually recursivefunctions; the declarations ofB and SBdepend on each other. Mutually recursive declarations in ML are conjoinedusing the keyword and.

Exercises

Expressions

In a functional programming language, values are computed by evaluatingexpressions.

Functions and application Most expressions are formed by applyingfunctions (such as arctan and *) to arguments. Function application is nor-mally indicated by prefix juxtaposition, i.e. we may type sqrt 2.1 to applythe square root function to the argument 2.1. Parentheses are not needed.However, parentheses may be placed around any expression, so we could also

6


7/21

type sqrt(2.1), or (sqrt 1.0) or even sqrt(((2.1))), or (sqrt) 1.0.

These are all equivalent: evaluating any one of these expressions provokesthe response

val it = 1.449137675 : real

Infix functions For some functions, infix notation is used; for example,to add 1 and 3, we evaluate the expression 1 + 3 . Many binary operationsare provided as infix functions. Different infix functions may have differentprecedences; for example, multiplication has a higher precedence than ad-dition. ML expressions are just like algebraic expressions. As in algebra,

parentheses may be used to bracket sub-expressions:> ( 3 * 4 ) + 2 ;

val it = 14 : int

> 3 * ( 4 + 2 ) ;

val it = 18 : int

> 3 * 4 + 2 ;

val it = 14 : int

Prefix function application takes precedence over infix function application.

> arctan 1.0 * 4.0;

val it = 3.141592654 : real

> cos(it/3.0);val it = 0.5 : real

We normally omit parentheses unless they clarify, or are needed to determine,the intended order of evaluation in a complex expression.

Conditional expression A conditional expression chooses between twovalues on the basis of a Boolean condition:

fun maximum (x,y)= if x >= y then x else y

The conditional expression has the form if condition then expression1 else expression

2.

The condition should be an expression of type bool. One or other of the ex-pressions, expression

1and expression

2, is evaluated, depending on the value

of the condition. These two expressions must both have the same type, sothat the type of the conditional expression is well-defined.

Types

ML is a strongly-typed language: each function expects an argument of aparticular type, and returns a particular type of result. When we evaluate

7


8/21

an expression, the system responds with its value and its type. If we supply

the wrong type of argument to a function, the system complains:> size 1 ;

Error- Cant unify string with int Found near size(1)

Exception static_errors raised

The function, size, expects a string as argument; it doesnt make sense toapply it to an integer. To the novice, ML may appear overly particular abouttypes; however, it is instructive to notice that, once you have constructed awell-typed program, ML programs are often right first time.

Basic Types There are four basic types in ML:

int a type representing integer values. The usual arithmetic operations +, -, *, div and mod, equality and ordering relations =, =,, are defined on the integers. Because operations in ML are typed,we distinguish unary minus, ~ : int -> int, from binary subtraction,- : int * int -> int. We also use ~ for negative integer constants.

real a type representing real values. These are different from the integers.There are no implicit coercions between the two; use the functions realand floor to convert between them. However, many arithmetic and

ordering operations are overloaded: an instance of these operations mayapply either to reals or to integers. Real division, /, is distinguishedfrom integer division (div); a real constant is distinguished from aninteger by a decimal point, an exponent, or both. ML also provides abasic set of analytic and trigonometric functions on reals.

string a type of (8-bit-)character strings. Strings constants are delimitedby double quotes ("...."); various escape sequences are defined to allowyou to include control characters in the string ??. Operations on stringsinclude size, concatenation, ?, equality, =, and the overloaded orderingoperations, as for reals and integers.

bool a type of Boolean truth values, consisting of the constants trueand false. This type is used in the conditional expression that will beintroduced in the next section.

Function types In ML, functions are values, so we can use the system tofind the type of a function.

> size ;

val it = fn : string -> int

8


9/21

The expression size has a value that has no useful printed representation

(fn merely signifies that it is a function). However, it is very useful to knowits type; string -> int is a function type: the type of functions that, likesize, take an argument of type string and return a result of type int. Wewill often draw diagrams showing functions as arrows going from one type(the argument type) to another (the result type): for example,

stringsize

- int realfloor

-

realint

The symbol -> in the notation for a function type is derived from the

arrows in these diagrams.We can also find the type of an infix function2:

> ^ ;

Warning- (^) has infix status but was not preceded by op.

val it = fn : string * string -> string

The type of the operation tells us that it takes a pair of strings as argument,and returns a string as result. In a diagram, we write the argument type asa product

string string?- string

Declarations

ML provides a number of built-in functions, and constants for the basic types.An ML program is a sequence of declarations that extends this repertoire.Declarations give names to new values and functions.

Identifiers and binding

Identifiers in ML are names that stand for values. Evaluating an expressionbinds the identifier, it, to the result of the evaluation. We can then use itas a name, to refer to the value in another expression.

> 2;

val it = 2 : int

> it + it;

val it = 4 : int

2PolyML gives a warning because the identifier has infix status, but is not infixedhere. To avoid such warnings, we may precede such occurrences of infix identifiers withthe keyword op. (Later, we will see that the warnings are not entirely gratuitous: thekeyword op is needed to allow us to pass infix functions as values.)

9


10/21

> it + it;

val it = 8 : int> it + it;

val it = 16 : int

Value declarations A value declaration, introduced with the keywordval, allows us to give a name of our choice to the value of an expression.

> val pi = 4.0 * arctan 1.0;

The general form of a value declaration is

val name = expression

Keywords cannot be used as names; for a list of keywords, and for the rulesfor generating identifiers, see ?? and ??.

Function declarations Function declarations are introduced with the key-word fun. The syntax is similar to that for value declarations, except thatyou have to specify pattern for the formal parameters:

fun name pattern = expression

The expression on the right-hand side can then refer to the parameters. We

can use a single variable as a pattern:

fun twice(x) = 2 * x;

A pattern may also introduce a number of formal parameters:

fun modulus(x,y) = sqrt(x*x + y*y);

When the pattern is a single variable, the parentheses may be omitted.

> fun toDegrees r = 180.0 * r / pi ;

val toDegrees = fn : real -> real

This declaration binds the identifier, toDegrees, to a function that converts

an angle in radians to degrees.We will see more sophisticated examples of patterns shortly.

Declaring infix functions To declare an infix function, we first declare anidentifier to be infix, and then use infix notation in the function declaration.Here is an example, we introduce an identifier ||:

infix ||;

fun x || y = sqrt(x*x + y*y);

10


11/21

Type constraints The system tries to work out the types of all expres-

sions. For example, in sqrt(x*x + y*y), because sqrt is defined on reals,the system can infer that + and * refer to real addition and multiplication; in2 * x, the integer constant 2 shows that integer multiplication is intended.

Because some operations are overloaded, type inference is not alwayspossible .Consider the definition fun double(x) = x + x; The fact that+ is applied to x constrains x to be either an int or a real; but the compilerneeds more information, to decide which kind of addition to perform. Atype constraint can be used to provide the required information. Given anexpression exp, and a type typ (e.g. int) then exp:typ is also an expression.Thus, we can type

fun double(x) = (x + x) : int;

to resolve the uncertainty by constraining the result type. Patterns may alsobe constrained in a similar way: we can type

fun double(x) : int = x + x;

to constrain the result type; and

fun double(x:int) = x + x;

to constrain the argument type.

In any case, when using ML you will find that the context normally pro-vides all of the type information needed by the system. Type constraints arerarely necessary; however, they often make code easier to read. Redundanttype constraints can provide useful documentation. Since compilation willfail if a type constraint is incompatible with the inferred type, this form ofdocumentation will always match the actual code.

Polymorphism Consider the declarations:

fun I x = x

fun swap(x, y) = (y, x)

Surprisingly, types for these operations can be inferred by the ML compiler:val I = fn : a -> a

val swap = fn : a * b -> b * a

The primes, , indicate type variables. The identity function, I, can beapplied to an argument of any type, A, and will return a result of the sametype; swap can be applied to a pair of type A B, and will return a resultof type B A. We say these functions are polymorphic (from the Greek)because they can take many forms: for example, I can be used as a functionof type int -> int or as a function of type real -> real.

11


12/21

Recursion

A function defined using fun may be recursive, as in

fun fact 0 = 1

| fact n = n * fact (n - 1);

This definition uses two clauses separated by | (which is a keyword, reador). The first clause uses a constant, 0, as a pattern; this pattern is onlymatched when the argument is zero. When evaluating a function call, thefirst clause that matches is used, so the second clause will be applied for allnon-zero arguments. The ML definition of factorial corresponds closely tothe mathematical definition:

!(0) = 1

!(n + 1) = (n + 1)!(n)

However, you should notice the following difference: in mathematical nota-tion we use n + 1 as a pattern signifying that this case applies to naturalnumbers greater than zero; in ML there is no such pattern we rely on theorder of the patterns to get the same effect. The second clause of the MLfunction definition is only applied when the pattern of the first clause, in this

case the constant 0, has failed to match the argument.Recursion is used extensively in functional programs, taking the placeof constructs such as while and for loops in an imperative language. Forexample, to compute the sum of the squares of the first n natural numbers

SS(n) = n1i=0

i2

we write the following ML functions

fun square n : int = n * n;

fun SS(0) = 0

| SS(n) = square(n-1) + SS(n-1);

The keyword and may be used to combine function declarations, allowingthem to be mutually recursive:

fun even 0 = true

| even n = odd (n-1)

and odd 0 = false

| odd n = even(n-1);

Of course this isnt a particularly sensible way of defining even and odd!

12


13/21

Equational reasoning

Functional, or applicative, programming is a programming style based ondefining and applying functions. One advantage of functional programmingis that functions may be viewed as mathematical objects, about which wecan reason equationally. In other words, we can use algebraic manipulationsto reason about our programs.

Infix notation can often make algebraic laws much easier to see. Forexample, the operation || introduced earlier is both associative,

x||(y||z) = (x||y)||z

and commutative,x||y = y||x

Sometimes diagrams can give a vivid picture of an equation relating twoways of computing the same value. We give a simple example, to introducethe idea of a commuting diagram. If we make the declarations

fun stutter s = s ^ s

fun twice x = 2 * x

then, for any string, s,

size(stutter(s)) = twice(size(s))

We can express this equation using a diagram

stringstutter

- string

int

size

? twice- int

size

?

Following the arrows around the square in either direction gives the sameresult; we say the diagram commutes.

Scope

In ML, variables are statically scoped, just as in C and Pascal. So far, wehave seen two ways to introduce variables: at the top level, or as argumentsto functions. A top-level variable is in scope until the end of the program,

13


14/21

although a hole may be introduced in the scope by the subsequent declaration

of a variable with the same name. The scope of a variable introduced as aformal parameter, by a pattern in a function declaration, is confined to thebody of the function, just as you would expect. To reinforce these points,consider the following example

val a = 1;

val b = 2;

f u n f a = a + b ;

val b = 3;

f b;

In the body of the function f the variable a refers to the formal parameter,and b has the value 2. The declaration following this introduces a newvariable that just happens to have the same name as an existing one. Itdoesnt alter the behaviour of f, i.e. it shouldnt be read as an assignmentto b. The result of the application should be 5 is this what you expected?

Declarations introduced using val and fun are processed sequentially.The and keyword may be used to process declarations simultaneously.For example, if x is currently bound to 1 and y to true, then the declaration

val x = y and y = x;

would result in x being bound to true and y to 1, whereas

val x = y val y = x;

would leave both x and y bound to true. Note that, as in the earlier exam-ples, you should view these definitions as introducing new variables, albeitwith the same names as some existing variables, rather than as a sequence

of assignments.To allow the declaration of recursive functions, there is a subtle, but cru-

cial, difference between the scopes of identifiers introduced by val and fundeclarations. When we bind an identifier, val-id, using a val declaration,any occurrence of val-id in the body of the declaration refers to the previ-ous binding of val-id: the scope of the new binding of val-id starts after thedeclaration. However, when we bind an identifier, fun-id, using a fun decla-ration, occurrences of fun-id in the body are treated recursively: the scopeof the new binding of fun-id includes the body of the declaration.

14


15/21

Combining declarations

So far we have introduced SML programs consisting of a sequence of top-level declarations. We now look at more interesting ways of combiningdeclarations. To make the scope of a declaration local to an expression, orto another declaration we can use

let declaration1 in expression2 end

and

local declaration in declaration end

Note the difference between let and local and the terminating end re-

quired by each construct, which is easy to forget. We give examples usingthese constructs. The mathematical definition of the factorial function ap-plies to natural numbers; if we allow our straightforward transliteration tobe called with a negative argument, it loops forever. We could make a testat every recursive call,

fun fact 0 = 1

| fact n =

if n < 0 then error "negative n"

else n * fact (n-1);

but this is not necessary

local

fun ffact 0 = 1

| ffact n = n * ffact (n-1)

in

fun fact n =

if n < 0 then error "negative n"

else ffact(n)

end;

In ML each variable must be declared before it is used. The same rule isenforced in Pascal and C but a number of other functional languages (inparticular, some dialects of lisp) have a different rule. The ML rule allowsprograms to be constructed bottom-up, but sometimes makes it trickier todevelop them top-down, or at least to present the top-down design stepsexplicitly. The modules facility, covered later in the course, is designed tosupport top-down development.

15


16/21

A Computational Model

ML uses call-by-value evaluation order. The general form of an applica-tion is exp

1exp

2. To evaluate such an expression the system performs the

following steps:

1. exp1

is evaluated to produce a function. exp1

is often a variable, suchas fact, and so this part is usually simple.

2. exp2

is then evaluated to produce a value.

3. The function body is then evaluated after performing pattern matching

on the argument value.The important thing to note is that the argument is always evaluated beforethe function body. This is sometimes inefficient, as in

fun silly x = 0;

silly(3+2);

Here the evaluation of 3 + 2 is redundant. However, such cases are rare.Evaluating the body before the argument has been simplified carries its ownperformance penalties. We shall see how to simulate such a lazy evaluation

strategy later in the course.Using call-by-value, it is easy, if tedious, to expand out the application

of a function to investigate the run-time behaviour. For example, given thedefinition offact from Practical 1, we can simulate the execution of fact 3as follows:

fact(3) 3 * fact(3 - 1)

3 * fact(2)

3 * (2 * fact(2 - 1))

3 * (2 * fact(1)) 3 * (2 * (1 * fact(1 - 1)))

3 * (2 * (1 * fact(0)))

3 * ( 2 * ( 1 * 1 ) )

3 * ( 2 * 1 )

3 * 2

6

16


17/21

Note how the multiplications get delayed until the recursion bottoms out.

We need to store these pending calculations somewhere (e.g. on the stack)and so the amount of storage required to evaluate fact n will be propor-tional to n. We can make the function more efficient (but more obscure) byexploiting the associativity of . For example, we know that

3 * (2 * fact(1)) = (3 * 2) * fact(1) = 6 * fact(1)

If we perform this rearrangement at each step then we wont need to usethe stack to save the pending multiplications. The following version of thefactorial function performs this optimisation:

local fun ifact(0, p) = p| ifact(n, p) = ifact(n-1, n*p)

in

fun fact n = ifact(n, 1)

end;

Here, ifact(n, x) = n! x. The evaluation of this version of fact usesconstant space:

fact(3) ifact(3, 1)

ifact(3 - 1, 3 * 1)

ifact(2, 3)

ifact(2 - 1, 2 * 3)

ifact(1, 6)

ifact(1 - 1, 1 * 6)

ifact(0, 6)

6

This recursion has a special form: when a recursive call of the function ismade, the caller returns the result of the recursive call directly, without fur-ther comupation; we say the call is tail-recursive, or iterative. In the originalversion of factorial the caller had to perform a multiplication using the resultof the recursive call. Tail-recursive function calls can be implemented veryefficiently. For example, a function tail-recursively calling itself can be com-piled into a simple jump, with the new arguments overwriting the old ones onthe stack. In some cases it is important to make a function tail-recursive (e.g.by adding another argument as we did in the factorial case) as the depth ofrecursion, and hence stack size, may otherwise grow very large. However, in

17


18/21

most cases this is not an issue, and the clarity of a direct solution is to be

preferred. We are unlikely to want to calculate very large factorials, and forsmall arguments the performance difference is negligible.

You may find it helpful to expand out the evaluation offastfib and gcdfrom Practical 1 on some small examples to get a better feel for what thesystem is doing in these cases. Is either of these functions tail-recursive?

Overview of functional programming

Functional languages lack two of the most essential features of an imperative

language updateable variables and statements. To make up for these omis-sions, functional languages are much more flexible in their use of functions.Functions may be passed as parameters, and returned as results; new func-tions may be created dynamically. Functional languages encourage a novel,and powerful, programming style, exploiting these features. Supporters ofthis style of programming claim many benefits, including:

Referential transparency

No assignment, so that the state cannot be changed under your feet.Evaluating an expression twice always yields the same answer, makingit easier to reason about programs.

Automatic storage allocation

The language hides the details of storage representation and alloca-tion/deallocation, allowing programs to be expressed at a higher levelof abstraction. It also makes it easier to reclaim unused storage auto-matically.

Static type inference

Most modern functional languages make use of powerful type systemsto catch many errors at compile time. These type systems can be more

flexible than those for imperative languages, because of the absence ofassignment.

Not influenced by von Neumann architectures

The notion of global state in an imperative language makes it difficultto implement these languages on parallel architectures. Functional lan-guages avoid the problem by avoiding the global state.

Critics of this style of programming are just as vociferous, pointing out thefollowing disadvantages:

18


19/21

Referential transparency

The notion of global state in a computation is sometimes important.In a functional language this state must be passed around explicitlywhereas in an imperative language it would be stored in global, up-dateable variables. Updates must be mimicked by copying.

Automatic storage allocation

It is difficult to use machine resources efficiently, e.g. to pack bits intoa word for example, because the language hides such details.

Static type inference

The type system sometimes stops you from performing an operationbecause the safety of the operation can only be checked at run time.This restricts the freedom of the programmer.

Not influenced by von Neumann architectures

Imperative languages have been designed to efficiently exploit the powerof traditional architectures, and vice versa. There is not such a goodmatch between these architectures and functional languages.

Standard ML supports functional programming, but also provides up-dateable variables and imperative statements. These should be used with

circumspection, and will not be introduced until later in the course.

The SML language

Brief history

ML started out in the late 70s as a language for controlling the LCF theoremprover. However, it quickly became apparent that the language was of moregeneral use. The language was developed independently by a number ofgroups leading to a variety of different dialects (e.g. CAML, CambridgeML, Edinburgh ML etc). In the mid 80s a group was formed to try tostandardise the language. This led to the definition of Standard ML. SMLhasnt completely dominated the ML market; some of the other dialects arestill being developed, particularly CAML. Another group, including severalof the designers of SML, is working a proposal for a new dialect, ML 2000,that will benefit from ongoing research in language design, and from theexperience of implementors and users of SML. If you use an ML system otherthan the one provided on the CS2 Suns you need to make sure it implementsStandard ML, rather than one of the other dialects.

19


20/21

Implementations

There are three main implementations of SML available SML/NJ, Poly/MLand PoplogML. The first of these is free, the others cost real money. They areall fairly extravagant in their memory requirements. SML/NJ runs on a PCin theory but the amount of memory required will make it a non-starter formost PCs at home. Edinburgh ML and MicroML are implementations of asubset of the language that will run on PCs and Macs. Because they are onlysubsets you may have problems if you try to use them for the practicals. Thefile /public/homepages/mfourman/web/teaching/mlCourse/doc/SML-FAQcontains more details of these systems. The CS2 Suns are running Poly/ML.

Books

ML for the Working Programmer, L.Paulson, Cambridge University PressThe book recommended for this part of the course. It is relativelycheap, covers nearly all of the required material, and has some goodexamples. It assumes you already know how to program, and so doesnttreat you as a complete bozo. The examples from this book are on-linein the directory /public/homepages/mfourman/web/teaching/mlCourse/doc/Paulso

Functional Programming Using Standard ML, A. Wikstrom, Prentice Hall

This book is aimed at those people with little or no programming expe-rience. It covers most features of the language except for the modulessystem, but proceeds at a snails pace.

Programming with Standard ML, C.Myers, C.Clack and E.Poon, PrenticeHallCovers the complete language at a faster pace than Wikstrom, butless comprehensively than Paulson. Some of the terminology is a bitnon-standard, and the examples are a little idiosyncratic.

Abstract Data Types in Standard ML, R.Harrison, Wiley

The title may tempt some of you to purchase this book, as abstract datatypes will figure strongly in this course. Please resist the temptation.

Elements of ML programming, J.Ullman, Prentice HallThis is a masterly text-book from an author with a proven track-record.It is primarily an ML cookbook. It is probably the best book avail-able for quickly developing a basic competence in ML. The examplesalso cover a number of data-structures. However, the author has a ten-dency to shy away from subtle issues, telling half-truths to avoid poten-tial confusions. This book is not as intellectually exciting, nor as hon-

20


21/21

est, as Paulson. The examples from this book are on-line in the direc-

tory /public/homepages/mfourman/web/teaching/mlCourse/doc/Ullman.

Other books that may be worth browsing through are Elements of Func-tional Programming by C. Reade (Addison Wesley), Applicative High OrderProgramming: The Standard ML perspective by S.Sokolowski (Chapman &Hall), and The ML Primer by R.Stansifer (Prentice Hall). The lecture noteson SML will give a very terse outline of the technical material covered by thecourse, and act as a revision aid. You will need a textbook, ideally Paulsons,to answer detailed questions about the syntax and semantics of the language.The lectures expand on the notes and include many examples to (hopefully)

clarify the ideas.(C) Michael Fourman 1994-2006

21

Basics of Standard ML

Documents

Transcript of Basics of Standard ML