| ATS | |
|---|---|
| Класс языка | Мультипарадигменный: императивный, функциональный |
| Автор | Хунвэй Си из Бостонского университета |
| Испытал влияние | ML, Objective Caml |
| Лицензия | GNU GPL |
| Сайт | ats-lang.org |
ATS (Applied Type System) — язык программирования, чьим основным предназначением являлось обеспечение поддержки доказательства теорем в сочетании с практическим программированием при использовании продвинутой системы типов данных. Производительность ATS сравнима с производительностями таких языков как Си и C++.
История
Большая часть ATS была позаимствована у языков программирования ML и Objective Caml. Предшествующий язык Dependent ML того же автора по сути включён в новый.
Проверка теорем
Основной целью ATS являлась поддержка проверки теорем в сочетании с практическим программированием.
Представление данных
Согласно автору (Хонвей Хи), эффективность ATS в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов (которые в целом весьма важны для эффективности функциональных языков программирования). Данные хранятся в простом (плоском) виде или преимущественно без вложенных представлений.
Дополнительные источники
Ссылки
- ATS benchmarks | Computer Language Benchmarks Game
- Discussion about the language’s efficiency (Language Shootout: ATS is the new top gunslinger. Beats C++.)
- Combining Programming with Theorem Proving
 |
Это заготовка статьи о компьютерных языках. Вы можете помочь проекту, дополнив её. |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .