次に示すコードは1つのファイルで構成された ATS プログラムのひな形です。 またこのひな形は オンライン からも入手できます。
(* ** ** A template for single-file ATS programs ** *) (* ****** ****** *) // #include "share/atspre_define.hats" #include "share/atspre_staload.hats" // (* ****** ****** *) // // please write you program in this section // (* ****** ****** *) implement main0 () = () // a dummy implementation for [main]