Atur cara mengikut ats-first.sf.net

ATS adalah bahasa pengaturcaraan dengan sistem jenis yang sangat ekspresif yang berakar umbi dalam rangka kerja Sistem Jenis Gunaan. Dalam ATS, pelbagai paradigma pengaturcaraan disokong dengan cara yang taip, termasuk FP, OO