ATS: el lenguaje que demuestra teoremas mientras programa
Introduction to Programming in ATS
Hongwei Xi presenta un libro introductorio a ATS, un lenguaje con sintaxis y características abundantes. Cubre programación funcional básica, tipos simples, datatypes recursivos, tipos polimórficos, tipos dependientes, tipos lineales, demostración de teoremas y programación con demostración de teoremas (PwTP), además de programación basada en plantillas. Aunque no exige experiencia previa, advierte que resultará denso para quien no tenga práctica considerable en programación.
Aunque no se asume que el lector esté familiarizado con la programación en general, es probable que el libro resulte bastante denso para alguien sin una experiencia considerable en programación.
- srean
ATS solía discutirse bastante en HN
https://hn.algolia.com/?query=The%20ATS%20Programming%20Lang...
MLton y Felix serían otros dos lenguajes inspirados en ML que optimizan el programa completo para generar código rápido.
- ddellacosta
Una charla divertida sobre este lenguaje aquí: https://www.youtube.com/watch?v=zt0OQb1DBko ("A (Not So Gentle) Introduction To Systems Programming In ATS" por Aditya Siram)
- drop_star
Abstract Tree Syntax