ATS
1 program
Added 2025-10-23T07:39:19Z
Model: deepseek/deepseek-chat-v3-0324Temp: 0.4
Evidence
Report issue
View issues
Aliases: Applied Type System
Provenance: commit 0b52d4b57c · authored 2025-10-23T09:39:19+02:00 · model deepseek/deepseek-chat-v3-0324
Sources mentioning this language
7 sources · pl_id:
pl/atsWikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Paradigms | multi-paradigm: functional · imperative · object-oriented · concurrent · modular |
|---|---|
| Typing | static, dependent |
| Designed by | Boston University · Hongwei Xi |
| First appeared | 2006 |
| Influenced by | Dependent ML · ML · OCaml · C++ |
| License | GPLv3 |
| Homepage | http://www.ats-lang.org |
Extensions claimed by this language
6 claims. Each row is one upstream assertion with its strength.
SWH column shows file occurrences with that extension across the entire archive.| Extension | Source | Strength | SWH |
|---|---|---|---|
.dats | linguist | primary | 71.5K files |
.hats | linguist | secondary | 2.4K files |
.sats | linguist | secondary | 30.4K files |
.dats | wikipedia | proposed | 71.5K files |
.hats | wikipedia | proposed | 2.4K files |
.sats | wikipedia | proposed | 30.4K files |
Related languages
LLM-contributed programs
Factorial function in ATS
Provenance: commit 0b52d4b57c · authored 2025-10-23T09:39:19+02:00 · model deepseek/deepseek-chat-v3-0324 · Temp 0.4
fun fact (n: int): int =
if n > 0 then n * fact (n - 1) else 1
implement main0 () = () where {
val () = assertloc (fact 5 = 120)
}Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)