Standard ML Tutorial.pdf

(737 KB) Pobierz
Programming in Standard ML
(D
RAFT
: V
ERSION
1.2
OF
11.02.11.)
Robert Harper
Carnegie Mellon University
Spring Semester, 2011
Copyright c 2011 by Robert Harper.
All Rights Reserved.
This work is licensed under the Creative Commons
Attribution-Noncommercial-No Derivative Works 3.0 United States
License. To view a copy of this license, visit
http://creativecommons.org/licenses/by-nc-nd/3.0/us/,
or send a
letter to Creative Commons, 171 Second Street, Suite 300, San Francisco,
California, 94105, USA.
Preface
This book is an introduction to programming with the Standard ML pro-
gramming language. It began life as a set of lecture notes for
Computer
Science 15–212: Principles of Programming,
the second semester of the in-
troductory sequence in the undergraduate computer science curriculum at
Carnegie Mellon University. It has subsequently been used in many other
courses at Carnegie Mellon, and at a number of universities around the
world. It is intended to supersede my
Introduction to Standard ML,
which
has been widely circulated over the last ten years.
Standard ML is a formally defined programming language.
The Defi-
nition of Standard ML (Revised)
is the formal definition of the language. It
is supplemented by the
Standard ML Basis Library,
which defines a com-
mon basis of types that are shared by all implementations of the language.
Commentary on Standard ML
discusses some of the decisions that went into
the design of the first version of the language.
There are several implementations of Standard ML available for a wide
variety of hardware and software platforms. The best-known compilers
are
Standard ML of New Jersey, Moscow ML, MLKit,
and
PolyML.
These are
all freely available on the worldwide web. Please refer to
The Standard ML
Home Page
for up-to-date information on Standard ML and its implemen-
tations.
Numerous people have contributed directly and indirectly to this text.
I am especially grateful to the following people for their helpful com-
ments and suggestions: Brian Adkins, Nels Beckman, Marc Bezem, James
Bostock, Terrence Brannon, Franck van Breugel, Chris Capel, Matthew
William Cox, Karl Crary, Yaakov Eisenberg, Matt Elder, Mike Erdmann,
Matthias Felleisen, Andrei Formiga, Stephen Harris, Nils J¨ hnig, Joel Jones,
a
David Koppstein, John Lafferty, Johannes Laire, Flavio Lerda, Daniel R.
Licata, Adrian Moos, Bryce Nichols, Michael Norrish, Arthur J. O’Dwyer,
Frank Pfenning, Chris Stone, Dave Swasey, Michael Velten, Johan Wallen,
Scott Williams, and Jeannette Wing. Richard C. Cobbe helped with font se-
lection. I am also grateful to the many students of 15-212 who used these
notes and sent in their suggestions over the years.
These notes are a work in progress. Corrections, comments and sug-
gestions are most welcome.

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin