Processing ......
Links to Free Computer, Mathematics, Technical Books all over the World
A Gentle Introduction to ML
网址居 (LinkBasket) - 全球各国中英文新闻网站导航!.
  • 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:  
A Gentle Introduction to ML
Andrew Cumming

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.

About the Authors
  • N/A
Reviews, Ratings, and Recommendations: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
Other Categories
Resources and Links