必要な箇所をひげぽんが翻訳したものです。誤訳の指摘などはコメントにお願いします。programsに寄贈しそこでブラッシュアップされています。プログラムを定義・実行するエントリポイントを定める。トップレベルプログラムはインポートすべきライブラリと実行すべきコードを定める。プログラムを定義する。†トップレベルプログラムは以下のようなフォーム(form)を持つテキスト断片の集まりである。典型的にはファイルである。<expression>である。同じで(7.1を見よ)、インポートするライブラリを指定する。body>(7.1を見よ)と同じである。よって定められる構文はマクロ展開の結果を参照する。