Program menurut ats-first.sf.net

ATS adalah bahasa pemrograman dengan sistem tipe yang sangat ekspresif yang berakar dalam kerangka Sistem Tipe Terapan. Di ATS, berbagai paradigma pemrograman didukung dengan cara yang mengetik, termasuk FP, OOP, dll.