• Menu
  • Skip to right header navigation
  • Skip to main content
  • Skip to secondary navigation
  • Skip to primary sidebar

OnlineProgrammingBooks.com

Legally Free Computer Books

  • All Categories
  • All Books
  • All Categories
  • All Books
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact
You are here: Home ▶ Programming ▶ Programming in Standard ML

Programming in Standard ML

March 24, 2006

These notes are intended as a brief introduction to Standard ML (1997 dialect) for the experienced programmer. They began as lecture notes for 15-212: Fundamental Principles of Computer Science II, the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University.

Book Description

Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically-typed language, with a user-extensible type system. It supports polymorphic type inference, which all but eliminates the burden of specifying types of variables and greatly facilitates code re-use. It provides efficient automatic storage management for data structures and functions. It encourages functional (effect-free) programming where appropriate, but allows imperative (effect-ful) programming where necessary (e.g., for handling I/O or implementing mutable data structures). It facilitates programming with recursive data structures (such as trees and lists) by encouraging the definition of functions by pattern matching. It features an extensible exception mechanism for handling error conditions and effecting non-local transfers of control. It provides a richly expressive and flexible module system for structuring large programs, including mechanisms for enforcing abstraction, imposing hierarchical structure, and building generic modules. It is portable across platforms and implementations because it has a precise definition given by a formal operational semantics that defines both the static and dynamic semantics of the language. It provides a portable standard basis library that defines a rich collection of commonly-used types and routines.

Table of Contents

  • Overview of Standard ML
  • Core Language
  • Module Language
  • Programming Techniques
  • Sample Programs

Download Free PDF / Read Online

Author(s): Robert Harper
Format(s): PDF, HTML
File size: 737 KB
Number of pages: 297
Link: Old version. | Current version.

Similar Books:

  1. Ada 95: The Craft of Object-Oriented Programming
  2. Syntax and Semantics of Programming Languages
  3. Standard Template Library Programmer’s Guide
  4. Eiffel: Analysis, Design and Programming Language
  5. Compiler Construction using Flex and Bison
Previous Post: « Building Skills in Python
Next Post: Picking Up Perl »

Primary Sidebar

Get Latest Updates

  • Facebook
  • Pinterest
  • RSS
  • Twitter
  • YouTube
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact

Copyright © 2006–2023 OnlineProgrammingBooks.com