Hacker News Front Page · ibobev ·
Introduction to Programming in ATS
El libro presenta ATS a través de características centrales del lenguaje, como programación funcional, tipos de datos definidos recursivamente, polimorfismo, tipos dependientes y lineales, demostración de teoremas y programación basada en plantillas. No exige conocimientos previos de programación, aunque su exposición densa probablemente resulte difícil sin experiencia considerable.
As a programming language, ATS is both syntax-rich and feature-rich. This book introduces the reader to some 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 (PwTP), and template-based programming. Although the reader is not assumed to be familiar with programming in general, the book is likely to be rather dense for someone without considerable programming experience.