Input and output

This page is incomplete, and needs review

This page lists several resources related to input and output in ATS. For diving right into IO (albeit somewhat unsafely), see this page of the ATS Book.

For a small overview of a function, fgets (file-stream to string), that can handle input safely, there is a tutorial on ATS which culminates in a description of fgets in detail by [Likai Liu].

While not exactly IO, dealing with input arguments (e.g. argc and argv) to a command-line utility is often a related problem.

Mailing list discussion on datafiles.