ATS は形式的仕様記述と実装を統一し、静的に型指定されたプログラミング言語です。それは、フレームワークに根ざした表現力の高い型システムを装備適用型システム、言語その名前を与えます。特に、従属型と直線型は ATS で利用できます。ATS2 関数型プログラミングだけ裸の最小限のランタイム サポートが利用可能な状況で採用することができます、高度なテンプレート システムを ATS を拡張します。さらに、テンプレート システムでは ATS2 を数値計算を支援するため非常に適しています。
