Books [Andrew Cumming] A Gentle Introduction to ML

[tttx]

​

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.

INFORMATION PAGE:

Авторизуйтесь, чтобы посмотреть скрытый контент

DOWNLOAD:

Авторизуйтесь, чтобы посмотреть скрытый контент