tutorials

For a beginner, perhaps the most important tool to learn is good functional style and abstraction. This code example for a calculator, while not exactly a tutorial, demonstrates these principles. Discussion on the calculator example is located here.

Currently, the ATS site has several tutorials and references, several of which are described below. There is also a more dense tutorial or language overview reference that is highly recommended.

• Chris Double has written many blogs on ATS. There are also many useful topical tutorials on the ATS site. Of course, there may be resources not mentioned here.
• A Tutorial on Programming Features in ATS covers several topics common to many programming languaages, as well as some tutorials on linear types.
• Graphics tutorial using ATS/Cairo.

Algorithms in ATS

The ATS Book is a good source of algorithms at various levels of rigor.

Rosetta Code has several entries for ATS.

Once familiar enough with the language, ATSLIB is also a great source to find many algorithms implemented in ATS, sometimes in several different ways (linear, non-linear, etc.)

Other small tutorials

An example demonstrating dataviewtypes.

An ATS wiki book exists, but currently only has a few pages (and appears to be rather dated, i.e. uses ATS1).

A step by step introduction to using Z3 as an external prover with ATS2: “Verified Efficient Programs in ATS: qsort”.