ATS (язык программирования)

ATS
Класс языка	Мультипарадигменный: императивный, функциональный
Появился в	2006
Автор	Хунвэй Си из Бостонского университета
Испытал влияние	Dependent ML, ML, OCaml, C++
Лицензия	GNU GPL 3
Сайт	ats-lang.org

ATS (от англ. Applied Type System) — язык программирования, нацеленный на поддержку формальной верификации в сочетании с практическим программированием с использованием системы зависимых типов. Разработчик — Хонвэй Си; основные конструкции заимствованы из ML и OCaml, предшествующий язык Dependent ML того же автора по сути включён в новый.

Производительность программ на ATS сравнима с аналогичными показателями программ на Си и C++^[1]. По мнению автора языка эффективность для функциональных языков в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов, поэтому данные в ATS хранятся в простом (плоском) виде или преимущественно без вложенных представлений.

• Домашняя страница ATS
• Discussion about the language’s efficiency (Language Shootout: ATS is the new top gunslinger. Beats C++.)
• Combining Programming with Theorem Proving Архивная копия от 8 августа 2017 на Wayback Machine