Introduction to Programming in ATS
ibobev
65 points
9 comments
November 03, 2026
Related Discussions
Found 5 related stories in 133.8ms across 11,510 title embeddings via pgvector HNSW
- Building on ATProto speckx · 146 pts · July 23, 2026 · 52% similar
- The future of programming (1982) vismit2000 · 62 pts · October 17, 2026 · 50% similar
- Altair Basic Interpreter Source Code (1975) [pdf] Eridanus2 · 52 pts · September 02, 2026 · 50% similar
- Programming is Art theorchid · 185 pts · September 07, 2026 · 47% similar
- Learn Programming with OCaml elvis70 · 222 pts · September 05, 2026 · 47% similar
Discussion Highlights (4 comments)
esafak
Looks interesting. Actively developed : https://github.com/githwxi/ATS-Postiats edit: You are right, I did not know there was a third version. If only this thing had release notes. I have no idea the current state of the language is. Hongwei, if you're listening! If this language is going to be a thing it needs community development.
drop_star
Abstract Tree Syntax
ddellacosta
Fun talk on this language here: https://www.youtube.com/watch?v=zt0OQb1DBko ("A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram)
srean
ATS used to be discussed quite a lot on HN https://hn.algolia.com/?query=The%20ATS%20Programming%20Lang... MLton and Felix would be two other ML inspired languages that whole program optimizes to generate fast code. http://www.mlton.org/ https://felix.readthedocs.io/en/latest/