Programming language · 2008

ATS

Programming language.

Official site ›
ATS logo
ATS (self-hosting)Written in
2008First released
Boston UniversityDeveloper
staticTyping
GNU General Public License, version 3.0License
Built fromInfluenced ATS MLC
InfluenceTranspile

What is ATS written in?

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

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

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

Embed this graph

Paste this iframe into any HTML page to show the ATS relationship graph.

<iframe src="https://www.languagelineage.org/embed?lang=ats" width="100%" height="500" loading="lazy" style="border:0" title="ATS relationship graph"></iframe>

Please attribute the visualization to Language Lineage and link to the ATS source record.

Explore ATS in Graph →