ATS vereint dependent types und Theorem-Proving in einer Sprache
Introduction to Programming in ATS
Hongwei Xis Buch führt in ATS ein, eine syntax- und feature-reiche Sprache, die funktionale Programmierung mit einfachen Typen, Datentypen, Polymorphismus, dependent types, linear types und Theorem-Proving verbindet. Behandelt werden auch Programmieren mit Theorem-Proving sowie template-basierte Programmierung. Obwohl keine Vorkenntnisse vorausgesetzt werden, ist das Werk ohne beträchtliche Programmiererfahrung recht dicht.
Obwohl vom Leser keine Vertrautheit mit Programmierung im Allgemeinen vorausgesetzt wird, dürfte das Buch für jemanden ohne beträchtliche Programmiererfahrung recht dicht sein.
- srean
ATS wurde früher ziemlich viel auf HN diskutiert
https://hn.algolia.com/?query=The%20ATS%20Programming%20Lang...
MLton und Felix wären zwei weitere von ML inspirierte Sprachen, die das gesamte Programm optimieren, um schnellen Code zu erzeugen.
- ddellacosta
Ein unterhaltsamer Vortrag zu dieser Sprache hier: https://www.youtube.com/watch?v=zt0OQb1DBko („A (Not So Gentle) Introduction To Systems Programming In ATS“ von Aditya Siram)
- drop_star
Abstract Tree Syntax