ATSプログラミングチュートリアル

Hongwei Xi

この本は A Tutorial on Programming Features in ATS の日本語訳です。 日本語訳の維持管理は JATS-UG - Japan ATS User Group が行なっています。 翻訳に参加するには ATS2公式マニュアルの日本語訳 を参照してください。

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


Table of Contents
前書き
I. 基本的なチュートリアル
1. ATS コードのシンタックスカラーリング
2. 拡張子
3. ATS コード中へのファイルのインクルード
4. 結合性宣言
5. 静的ロード (staload)
6. 動的ロード (dynload)
7. 角括弧オーバーロード
8. ドット記号オーバーロード
9. 再帰
10. データ型
11. 関数的なリスト
12. 関数的な集合と写像
関数的な集合
関数的な写像
13. 例外
14. 参照
15. ボックス化されたタプルとレコード
16. 永続化配列
17. サイズを伴う永続化配列
18. 永続化行列
19. サイズを伴う永続化行列
20. 永続化ハッシュテーブル
21. 末尾再帰
22. 高階関数
23. 遅延ストリーム
24. 線形型のリスト
II. 高度なチュートリアル
25. extvar 宣言
26. 線形クロージャ関数
27. スタックに確保されたクロージャ関数
28. 線形遅延ストリーム
29. コード自動生成
datcon 関数の生成
datcontag 関数の生成
fprint 関数の自動生成