ATS2TUTORIAL-CODE

The following links are listed to allow for access to some code used in the on-line book Introduction to Programming in ATS. If the name of a file mentioned in a link is followed by the symbol (c), then the code contained in the file can be typechecked on-line. If the name is followed by (js), then the code can be first typechecked and then compiled into Javascript for execution in the browser.

Basics Tutorial Topics

Bracket Overloading

• chap_dotoverld.dats(c)

Dot-Symbol Overloading

• chap_brktoverld.dats(c)

Recursion

• chap_recursion.dats(c)

Datatypes

• chap_datatypes.dats(c)

Exceptions

• chap_exception.dats(c)

References

• chap_reference.dats(c)

Persistent Arrays

• chap_arrayref.dats(c)

Persistent Arrays-with-size

• chap_arrszref.dats(c)

Persistent Matrices

• chap_matrixref.dats(c)

Persistent Matrices-with-size

• chap_mtrxszref.dats(c)

Tail-Recursion

• chap_tailrec.dats(c)

Higher-Order Functions

• chap_hordfun.dats(c)

Stream-Based Lazy Evaluation

• chap_stream.dats(c)

Advanced Tutorial Topics

Extvar-Declaration

• chap_extvar.dats(c)

Linear Closure-Functions

• chap_cloptr.dats(c)

Linear Stream-Based Lazy Evaluation

• chap_stream_vt.dats(c)

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.