コンパイル時の抽象化の意味は何ですか？

Question

私は「コンパイル時の抽象度ランタイム動作」という文を見つけました。ここではコンパイル時の抽象化は何ですか？私の推測は、例えば、コンパイル時に行うことができることを行う/最適化しようと、実行時にのみのみ行うことができ、物事の余地を残して、

言語のように

だろう。 int a; a = 5; // 5は、ユーザがプログラムを作成した可能性があるため、コマンドライン、stdin、finなどから入力を取得する可能性があるため、コンパイル時にのみコンパイル時に割り当てられます（constでない場合）

あなたはすぐにタイプ......を知っているので、// INT、コンパイル時に行うことができ、よう

は

Answer 1

あなたが

に「コンパイル時の抽象化」で混乱しているようです

静的型チェックは、プログラムの実行時動作をコンパイル時に抽象化したものです。

単語「抽象化」を「近似」に置き換えた場合

を、より多くなるだろう（紙「静的型付け可能な、動的型付け必要なときに、」あなたは自分のコメントににリンクしていることからの引用）あなたに感覚？

T型の式Eが与えられたとき、Tは実行時に（Eを評価するとき）計算された値のソートをコンパイル時に近似すると言えるでしょう。たとえば、[integer]型の式[2 + 2 * 3]があるとします。 "この式は整数に評価されます"と言うことができます。