ATS (от ) — язык программирования, нацеленный на поддержку формальной верификации в сочетании с практическим программированием с использованием системы зависимых типов. Разработчик — Хонвэй Си; основные конструкции заимствованы из ML и OCaml, предшествующий язык Dependent ML того же автора по сути включён в новый.
Производительность программ на ATS сравнима с аналогичными показателями программ на Си и C++ATS benchmarks | Computer Language Benchmarks Game (web archive). По мнению автора языка эффективность для функциональных языков в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов, поэтому данные в ATS хранятся в простом (плоском) виде или преимущественно без вложенных представлений.
Примечания
Ссылки Домашняя страница ATS Discussion about the language’s efficiency (Language Shootout: ATS is the new top gunslinger. Beats C++.) Combining Programming with Theorem Proving
Категория:Мультипарадигменные языки программирования Категория:Декларативные языки программирования Категория:Типозависимые формальные языки Категория:Языки программирования семейства ML Категория:Языки программирования, появившиеся в 2000-х годах