A Tutorial on Programming Features in ATS

Hongwei Xi

All rights are reserved. Permission is granted to print this document for personal use.


Table of Contents
Preface
I. Basic Tutorial Topics
1. Syntax-Coloring for ATS code
2. Filename Extensions
3. File Inclusion inside ATS Code
4. Fixity Declarations
5. Static Load
6. Dynamic Load
7. Bracket Overloading
8. Dot-Symbol Overloading
9. Recursion
10. Datatypes
11. Functional Lists
12. Functional Sets and Maps
Functional Sets
Functional Maps
13. Exceptions
14. References
15. Boxed Tuples and Records
16. Persistent Arrays
17. Persistent Arrays-with-size
18. Persistent Matrices
19. Persistent Matrices-with-size
20. Persistent Hashtables
21. Tail-Recursion
22. Higher-Order Functions
23. Stream-Based Lazy Evaluation
24. Linearly Typed Lists
II. Advanced Tutorial Topics
25. Extvar-Declaration
26. Linear Closure-Functions
27. Stack-Allocated Closure-Functions
28. Linear Stream-Based Lazy Evaluation
29. Automatic Code Generation
Generating a datcon-function
Generating a datcontag-function
Generating a fprint-function