ATS является языком программирования со статическим контролем типов, который объединяет реализацию с формальной спецификацией. Ядро ATS подобно ML, и его система типов базирована в Прикладной платформе Системы типов, которая в свою очередь дает языку его имя. ATS многофункционален, и он поддерживает зависимые типы (стиля DML), линейные типы, (встраиваемые) шаблоны, программирование с доказательством теорем (PwTP), и т.д.
Добро пожаловать в #ats@stackoverflow!
ATS является языком программирования со статическим контролем типов, который объединяет реализацию с формальной спецификацией. Ядро ATS подобно ML, и его система типов базирована в Прикладной платформе Системы типов, которая поддерживает зависимые типы (стиля DML), линейные типы, доказательство теорем и т.д.
На данный момент сообщество ATS является относительно малочисленным. Мы рекомендуем, чтобы любым вопросам, подходящим для языка программирования ATS, дали тег #ats. Выполнение так может, несомненно, принести пользу всем пытающимся изучить и использовать ATS. В целом вопросы о ATS относительно синтаксиса, библиотеки, системы типов и приложения должны быть отмечены под #ats. С другой стороны, предложения, отчеты об ошибках и различные обсуждения функций языка должны, вероятно, быть принесены официальной группе Google для ATS.
Ссылки
- Официальный сайт: http://www.ats-lang.org
- Official Google Group: https://groups.google.com/forum/#! forum/ats-lang-users
- Официальный GitHub Repo: https://github.com/githwxi/ATS-Postiats и https://github.com/githwxi/ATS-Postiats-contrib
- Код ATS, Совместно использующий Сервис: https://glot.io/, полезный, когда Вы хотите совместно использовать код в вопросах/ответах.