ML and Standard ML (SML) Programming Language
Reference documents in ML and Standard ML (SML) Programming Language.
Documents in ML and Standard ML (SML) Programming Language
Page 1 of 1-
Standard ML is a functional programming language, and it is more than that. Functional programs have many virtues. They are concise, secure and elegant. They are easier to understand and easier to prove correct than imperative programs.
-
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.
-
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!
-
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers.
