Written by a well-known computer science education and researcher. No previous knowledge of ML or functional programming is assumed.
This is the first book that offers Both a highly accessible, step-by-step introductory tutorial on ML programming and a complete reference to, and explanation of, advanced features. The author uses a wide variety of digestible program examples to bring the reader along at a reasonable pace. More sophisticated programs and advanced concept topics balance out a book that is usable in a number of courses and settings for either self-study or class discussion.
The ML language is the latest innovative language to emerge from Bell Labs, birthplace of the C and C++ languages. Ullman provides a highly accessible introduction to the very powerful and efficient ML language. The book is organized to provide professionals with introductory and advanced programming techniques. Includes a complete summary of the latest SML/NJ features.
| Ch. 0 | A Perspective on ML and SML/NJ | 1 |
| Pt. 1 | Introduction to Programming in ML | 6 |
| Ch. 1 | Expressions | 7 |
| Ch. 2 | Type Consistency | 14 |
| Ch. 3 | Variables and Environments | 19 |
| Ch. 4 | Tuples and Lists | 26 |
| Ch. 5 | It's Easy; It's "fun" | 34 |
| Ch. 6 | Patterns in Function Definitions | 49 |
| Ch. 7 | Local Environments Using "let" | 62 |
| Ch. 8 | Exceptions | 69 |
| Ch. 9 | Side Effects: Input and Output | 75 |
| Pt. 2 | Advanced Features of ML | 89 |
| Ch. 10 | Polymorphic Functions | 90 |
| Ch. 11 | Higher-Order Functions | 99 |
| Ch. 12 | Defining New Types | 115 |
| Ch. 13 | Programming with Datatypes | 129 |
| Ch. 14 | The ML Module System | 145 |
| Ch. 15 | Software Design Using Modules | 163 |
| Ch. 16 | Arrays | 175 |
| Ch. 17 | References | 184 |
| Pt. 3 | Additional Details and Features | 193 |
| Ch. 18 | Record Structures | 194 |
| Ch. 19 | Matches and Patterns | 201 |
| Ch. 20 | More About Exceptions | 207 |
| Ch. 21 | Computing With Functions as Values | 214 |
| Ch. 22 | More About Input and Output | 224 |
| Ch. 23 | Creating Executable Files | 234 |
| Ch. 24 | Controlling Operator Grouping | 240 |
| Ch. 25 | Built-In Functions of SML/NJ | 249 |
| Ch. 26 | Summary of ML Syntax | 258 |
| Solutions to Selected Exercises | 280 | |
| Index | 315 |
Overview
-- Makes ML programming interesting for the uninitiated.
-- Demonstrates the power and ease of functional programming with a variety of interesting small and large program examples.
Written by a well-known computer science education and researcher. No previous knowledge of ML...