What is ATS written in?
Quick Facts
- Developer
- Boston University
- First released
- 2008
- Typing
- static
- License
- GNU General Public License, version 3.0
- Website
- www.ats-lang.org
About ATS
ATS is a programming language. It is a statically typed language that compiles ahead of time to native machine code. It supports functional, imperative, and dependent-typed programming.
ATS first appeared in 2008. Development is led by Boston University. ATS is now used mainly in specialized niches and by dedicated communities.
How ATS is implemented
In the Language Lineage dataset, ATS is self-hosting, so its own compiler is written in ATS itself. Reaching self-hosting, where a language is mature enough to compile itself, is a milestone that proves the language can handle a large, real-world program.
ATS in the language family tree
ATS drew on ideas from ML.
Sources: Wikipedia · Wikidata · Official site
Frequently Asked Questions
Evidence Sources
Discover More
Spot something wrong?
Every fact on this page is meant to be checkable. If one is wrong, say so and it becomes a dataset change, not a patch to this page.