What is ATS written in?

Programming language.

Programming language Year 2008 Paradigm functional, imperative, dependent-typed Typing static Self-hosting yes
The Language Lineage dataset does not currently include compiler or runtime implementation relationships for ATS. It may appear in influence relationships with other languages.

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

Relationship Graph

All directly connected languages. Click any node to navigate to its page.

Transpilation

LanguageConfidenceNotesSource
C 85% ATS compiles to C. Source

Influenced By

Frequently Asked Questions

What languages influenced ATS?
ATS was influenced by ML among others. See the influence section above for the full list.
Is ATS self-hosting?
Yes, ATS is self-hosting — its compiler can compile itself.
When was ATS first released?
ATS was first released in 2008.

Evidence Sources

Discover More

What are programming languages written in? ATS in the language family tree Interactive programming language graph Is ATS self-hosting? Compiler bootstrapping explained Languages that influenced ATS: ML
Explore ATS in Graph →