Programy według ats-first.sf.net

ATS jest językiem programowania z wysoce ekspresyjnym systemem typów zakorzenionym w ramach Applied Type System. W ATS różne paradygmaty programowania są obsługiwane w sposób typowy, w tym FP, OOP itp.