## Elements of ML Programming-- The author, who is a data structure pioneer, shows how standard structure and problems (e.g., hashing, binary trees, solving linear equations, numerical integration, and sorting) are implemented with ML. -- 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 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

A Perspective on ML and SMLNJ | 2 |

Type Consistency | 14 |

Tuples and Lists | 26 |

Copyright | |

23 other sections not shown

### Other editions - View all

### Common terms and phrases

andalso apply array BadM binary search tree binary tree binding bool Boolean character component compute data constructors datatype declarations define definition delete deletemin digits empty list entry equality type evaluate Example exception false function comb function F function that takes functor handle hash table higher-order functions identifier implementations inductive infix operator input insert instream int list integer keyword label btree languages left subtree let val let-expression list of elements lookup match matrix mergeSort mutually recursive node operand orelse pair parameters parentheses Pascal pattern polymorphic polynomial precedence produces raise recursive call represented result returns reverse right subtree root side-effects signature SiMapping SML/NJ Solution to Exercise Solutions for Chapter Standard ML string btree string list structure syntactic category tail takes a list tuple type expression type int type variables UNIX val-declaration Write a function