解釈とコンパイル：有用な区別？

ここでは、インタプリタ言語とコンパイル言語の実装について多くの質問があります。区別が実際に意味をなすかどうか疑問に思っています。（実際には、質問は通常言語に関するものですが、それらの言語の最も一般的な実装について本当に考えています）。

現在、厳密に解釈される実装はほとんどありません。つまり、コードを一度に1行ずつ解析して実行する人はほとんどいません。さらに、マシンコードにコンパイルする実装も一般的ではなくなりました。ますます、コンパイラはある種の仮想マシンをターゲットにしています。

実際、ほとんどの実装は同じ基本戦略に集中しています。コンパイラーは、JITを介してネイティブコードに解釈またはコンパイルされるバイトコードを生成します。コンパイルと解釈の伝統的なアイデアのミックスです。

したがって、私は尋ねます：最近、解釈された実装とコンパイルされた実装の間に便利な区別はありますか？

解釈とコンパイルは、単なる相互の代替手段ではないことを覚えておくことが重要です。最終的に、作成したプログラム（マシンコードにコンパイルされたものを含む）は解釈されます。コードの解釈とは、単に一連の指示を取得して回答を返すことを意味します。

一方、コンパイルとは、ある言語のプログラムを別の言語に変換することを意味します。通常、コンパイルが行われると、コードは「下位レベル」言語（たとえば、マシンコード、何らかのVMバイトコードなど）にコンパイルされると想定されます。このコンパイルされたコードは、後で解釈されます。

インタープリター言語とコンパイル済み言語の間に有用な区別があるかどうかについてのあなたの質問に関して、私の個人的な意見は、誰もがインタープリテーション中に書くコードに何が起こっているのかを基本的に理解する必要があるということです。そのため、コードがJITコンパイルまたはバイトコードキャッシュなどされている場合、プログラマーは少なくともその意味を基本的に理解している必要があります。

コンパイルされた言語は、解釈された言語が必ずしも必要としない方法でセマンティクスを制限するため、区別は深く意味があります。一部の解釈手法は、コンパイルが非常に困難です（実際には不可能です）。

解釈されたコードは、実行時にコードを生成するなどのことを実行でき、既存のスコープの字句バインディングに対するコードの可視性を提供します。それが一例です。もう1つは、インタープリターを、コードの評価方法を制御できるインタープリターコードで拡張できることです。これは、古代のLisp "fexprs"の基礎です。未評価の引数で呼び出され、それらをどう処理するかを決定する関数（コードのウォークや変数の評価などに必要な環境へのフルアクセスがあります）。コンパイルされた言語では、その手法を実際に使用することはできません。代わりにマクロを使用します。未評価の引数でコンパイル時に呼び出され、解釈ではなくコードを変換する関数。

一部の言語実装は、これらの手法を中心に構築されています。著者は、コンパイルを重要な目標として拒否し、むしろこの種の柔軟性を受け入れます。

解釈は、コンパイラをブートストラップするための手法として常に役立ちます。具体的な例については、CLISP（Common Lispの一般的な実装）をご覧ください。CLISPには、それ自体で記述されたコンパイラがあります。CLISPをビルドすると、そのコンパイラはビルドの初期段階で解釈されます。それはそれ自身をコンパイルするために使用され、それがコンパイルされると、コンパイルされたコンパイラを使用してコンパイルが行われます。

インタープリターカーネルがなければ、SBCLのように、既存のLispでブートストラップする必要があります。

解釈を使用すると、アセンブリ言語から始めて、絶対にゼロから言語を開発できます。基本的なI / Oおよびコアルーチンを開発してから、まだ評価されているマシン言語を記述します。evalを取得したら、高級言語で記述します。マシンコードカーネルが評価を行います。この機能を使用して、より多くのルーチンでライブラリを拡張し、コンパイラも作成します。コンパイラを使用して、これらのルーチンとコンパイラ自体をコンパイルします。

解釈：編集に至る道の重要な足がかり！

実際、言語の実装の多くはまだ厳密に解釈されていますが、それらを認識していない可能性があります。例を挙げると、UNIXシェル言語、Windows cmdおよびPowerScriptシェル、Perl、awk、sed、MATLAB、Mathematicaなどです。

私は思う：絶対にはい。

実際、ほとんどの実装は同じ基本戦略に収束しています

実際、C ++は、通常インタープリターに渡される高レベルの概念をコンパイラードメインに移植することを目指していますが、少数派のままです...

便利な区別：解釈されたプログラムは、実行時に関数を追加または変更することで自分自身を変更できます。