Добро пожаловать в # ats @stackru!

ATS - это статически типизированный язык программирования, который объединяет реализацию с формальной спецификацией. Ядро ATS похоже на ML, а его система типов основана на структуре Applied Type System, которая поддерживает зависимые типы (в стиле DML), линейные типы, доказательство теорем и многое другое.

На данный момент сообщество ATS относительно невелико. Мы рекомендуем задавать любые вопросы, относящиеся к языку программирования ATS, тегом #ats. Это, несомненно, принесет пользу всем, кто пытается изучить и использовать САР. Как правило, вопросы об ATS, касающиеся синтаксиса, библиотеки, системы типов и приложения, должны быть помечены тегом #ats. С другой стороны, предложения, отчеты об ошибках и различные обсуждения языковых функций, вероятно, следует направлять в официальную группу Google для ATS.

Ссылки

• Официальный сайт: http://www.ats-lang.org/
• Официальная группа Google: https://groups.google.com/forum/
• Официальный репозиторий Github: https://github.com/githwxi/ATS-Postiats и https://github.com/githwxi/ATS-Postiats-contrib
• Служба совместного использования кода ATS: https://glot.io/, полезна, когда вы хотите поделиться кодом в вопросах / ответах.