3. 言語仕様¶

プログラムテキストは、 Program.compile によって関数にコンパイルされる。この章は、コンパイルがどのように行われるかを規定する。

構文で規定されるように、プログラムテキストは、まずトークンの列として解析され、次に抽象構文木としてパースされる。

意味論で規定されるように、抽象構文木は抽象命令の列に変換される。 Program.compile によってコンパイルされた関数は、この抽象命令の列を含むかのようにふるまう。