プログラミング言語には式と文があります。
式はevalしたときになんらかの値を返す構文のことです。このなんらかの値はNone含みます。
このドキュメントは https://en.wikipedia.org/wiki/LISP_2 の翻訳です。
For Lisp-2, Lisp systems with separate function namespaces, see Lisp-1 vs. Lisp-2
Lisp-2は別の関数名前空間を持つLispシステムです。Lisp-1 vs. Lisp-2を参照。
コンパイラのフレームワーク。あらゆるステージで最適化するように設計されている。 なんとなく行っている意味はわかるけど具体的にどこがどうかはあんまりピンとこない。 仮装マシン上で動作する中間言語(LLVM-IR)を生成して、そこから動作マシーンに対応するプログラムを生成するっぽい。
LLVM とは、コンパイル時、リンク時、実行時などあらゆる時点でプログラムを最適化するよう設計された、任意のプログラミング言語に対応可能なコンパイラ基盤である。
Wikipediaよりhttps://ja.wikipedia.org/wiki/LLVM