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

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

ATS (Applied Type System) — язык программирования, чьим основным предназначением являлось обеспечение поддержки доказательства теорем в сочетании с практическим программированием при использовании продвинутой системы типов данных. Производительность ATS сравнима с производительностями таких языков как Си и C++.

История[править | править код]

Большая часть ATS была позаимствована у языков программирования ML и Objective Caml. Предшествующий язык Dependent ML того же автора по сути включён в новый.

Проверка теорем[править | править код]

Основной целью ATS являлась поддержка проверки теорем в сочетании с практическим программированием.

Представление данных[править | править код]

Согласно автору (Хонвей Хи), эффективность ATS в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов (которые в целом весьма важны для эффективности функциональных языков программирования). Данные хранятся в простом (плоском) виде или преимущественно без вложенных представлений.

Дополнительные источники[править | править код]

Ссылки[править | править код]