ATS: Programming with Theorem-Proving/Preface  From Wikibooks,
open books for an open world Jump to: navigation, search  This
book is aimed at teaching practical programming skills using
ATS: we concentrate on actually writing programs, all other
aspects of programming, such as formulating problem
descriptions, thinking about them, and using various problem
solving techniques are not covered in this book. ATS shares some
aspects with other programming languages, namely Standard ML and
OCaml, but is unusual in the way it uses its type system to
support safe (in terms of type safety) and efficient (in terms
of execution time and memory footprint) programming in a variety
of paradigms.  ATS supports imperative, functional and
concurrent programming paradigms. Imperative programming is what
most programmers are familiar with. Functional programming can
be contrasted with imperative programming as it enables
programmers to concentrate on the problem at hand without
worrying too much about (uninteresting) implement