A Tutorial on Programming Features in ATS:
<<< PreviousNext >>>

I. Basic Tutorial Topics

Table of Contents
Syntax-Coloring for ATS code
Filename Extensions
File Inclusion inside ATS Code
Fixity Declarations
The Program Entry Point: mainats
Tail-Recursive Call Optimization
Mutual Tail-Recursion
Metrics for Termination Verification
Higher-Order Functions
Parametric Polymorphism
Printf-like Functions
Functional Lists
Persistent Arrays
Persistent References
Call-by-Reference
Lazy Evaluation
<<< PreviousHomeNext >>>
Preface Syntax-Coloring for ATS code