ATS Trustful Software, Inc. copyright 2010-201? Hongwei Xi introduces the reader to the ATS programming language, which is both syntax-rich and feature-rich. This book presents the core features of ATS, including basic functional programming, simple types, recursively defined datatypes, polymorphic types, dependent types, linear types, theorem-proving, programming with theorem-proving (Pw TP), and template-based programming. ATS stands out among programming languages for combining a rich syntax with a rich feature set.
The book is designed to introduce these foundational concepts to newcomers. However, the reader is not assumed to be familiar with programming in general; thus, the text is likely to be rather dense for someone without considerable programming experience. All rights are reserved.
Permission is granted to print this document for personal use. The work is dedicated to Jinning, Zoe, and Chloe.
Source: Hacker News · Summarized by HeadlinesBriefing