動的ファイルの名前です。型定義などのインターフェイス宣言を含んでいます。ファイルの主要な目的は、静的/動的にかかわらず別々のATSファイルでその中身を共用することにあります。静的ファイルの典型的な使い方を知るために、シンプルな例を見てみましょう。アッカーマン関数を実装することになったとします。この関数は原始再帰ではない再帰として有名です。使わないことに注意してください。型検査器に指示します。後続のコードがアクセスできるようにファイルの中身を名前空間に配置することです。注目すべきなのは、静的なロードは単純なファイルの埋め込みとは異なるということです。後者もまたサポートしています。その機能は別の章で解説します。ファイルの中身を保持しています。名前に付記する必要があります。それぞれの要素が宣言されている元のソースコードをすぐに見つけ出せるからです。コンパイラに指示します。これは必須で、さもないとリンク時にエラーが発生してしまいます。通常、動的ファイルに関連するこの初期化関数は、そのファイルの中で値が実装されている時のみ必要になります。中には関数の実装しかありません。キーワード行はもはや不要です。なるか実行時に検証します。そのファイルで呼び出したソースコードの位置を含むメッセージが表示されます。呼び出してみてください。何が起きるのか明確になるでしょう。ユーティリティから呼び出す際に特に有用です。名前で上記のファイルを作ったとしましょう。動的ファイルを静的ロードすることが正常であることに注意してください。静的ファイルは、関数や値の実装を含まないATSの動的ファイルの単なる特殊形です。