• Title A Gentle Introduction to ML
• Author(s) Andrew Cumming
• Publisher: Napier University, Edinburgh, UK.
• Hardcover/Paperback N/A
• eBook HTML
• Language: English
• ISBN-10: N/A
• ISBN-13: N/A
• Share This:  

Book Description

This book is an introduction to thinking about programming and the ML Programming Language. It introces those new to programming, as well as those experienced in other programming languages, to the principles of types, computation, and program construction. Most important, it helps the reader to think recursively with types about programs.

Functional languages such as ML, Hope and Lisp allow us to develop programs which will submit logical analysis relatively easily. Using a functional language we can make assertions about programs and prove these assertions to be correct. It is possible to do the same for traditional, imperative programs - just much harder. It is also possible to write programs in ML which defy logic - just much harder. A functional language like ML offers all of the features that we have come to expect from a modern programming language. Objects may be packaged with details hidden. Input and output tend to be rather more primitive then we might expect, however there are packages which allow ML to interface with front ends such as X-windows.

• N/A

• Amazon

• ML and Standard ML (SML) Programming Language
• Functional Programming
• Objective Caml (OCaml) Programming Language
• Scheme Programming Language

• A Gentle Introduction to ML (Andrew Cumming)
• The Mirror Site (1) - HTML
• The Mirror Site (2) - PDF

• The Standard ML Basis Library (Emden R. Gansner, et al)

  The definition for Standard ML's standard library, this work concisely describes the types and functions defined in the library and discusses in depth the library's design and use. It's an indispensable reference for students, professional programmers, etc.

• Programming in Standard ML (Robert Harper)

  This book is an introduction to programming with the Standard ML programming language. The emphasis of this book is on informal derivation of examples that show both correct and incorrect approaches.

• A Look at Functional Programming with Standard ML

  This book uses the Standard ML programming language as a vehicle to study functional programming. Learn about type deduction, pattern matching, currying, partial application, composition of functions, and why variables and loops really aren't needed!

• Programming in Standard ML '97: A Tutorial Introduction

  This book provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to p of programming into practice.

• Purely Functional Data Structures (Chris Okasaki)

  This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. All source code is given in Standard ML and Haskell.

• Exploring ReasonML and Functional Programming

  This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.