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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
ATS
Класс языка:

Мультипарадигменный: императивный, функциональный

Автор(ы):

Хунвэй Си из Бостонского университета

Испытал влияние:

ML, Objective Caml

Сайт:

ats-lang.org

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

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

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

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

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

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

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

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

Ссылки[править | править вики-текст]