Chương trình theo ats-first.sf.net

ATS là một ngôn ngữ lập trình với một hệ thống loại biểu cảm cao bắt nguồn từ khuôn khổ Hệ thống loại ứng dụng. Trong ATS, một loạt các mô hình lập trình được hỗ trợ một cách có đánh máy, bao gồm FP, OOP, v.v.