R6RS:翻訳:R6RS:6.3 Implementation responsibilities

6.3 実装系の責任

命名規約によって暗示される制約に加えて、項目には追加の制約が明示されていることがある。これらの制約は通常、プログラマの制約と実装系の制約について説明している。プログラマはあるフォームの下位フォームが適切であること、適切な引き数が渡されていることを保証しなければならない。実装系は下位フォームが特定の制約に則しているか、（マクロ展開が停止するか、）引き数が適切であるかを確認しなければならない。引き数や下位フォームのいくつかについて、実装系の制約が「実装系の責任」と題された段落に明示されていることもある。この場合、これ以外の部分では該当の下位フォームや引き数にについてはプログラマの責任だけを説明する。実装系の責任について述べる段落は、その段落で言及されていない下位フォームや引き数の確認についての実装系の責任には影響を与えない。