メタプログラミングとは、プログラムが自分自身を知っている、または自分自身を操作できるさまざまな方法を指します。
C＃のような言語では、プログラムは自身に関する情報を調べることができるため、リフレクションはメタプログラミングの一種です。たとえば、オブジェクトのすべてのプロパティのリストを返します。
ActionScriptなどの言語では、実行時に関数を評価して、eval（ "x" + i）などの新しいプログラムを作成できます。DoSomething（）は、iが1の場合はx1、iが2の場合はx2というオブジェクトに影響します。
最後に、メタプログラミングのもう1つの一般的な形式は、プログラムが自明ではない方法で変化する場合です。LISPはこのことでよく知られており、約10年前にPaul Grahamが擁護したものです。私は彼の具体的なエッセイのいくつかを調べなければならないでしょう。しかし、アイデアは、プログラムがその状態に基づいてプログラムの別の部分を変更するというものです。これにより、現在のほとんどの一般的な言語では非常に難しい、実行時に決定を行うための柔軟性のレベルが可能になります。
まっすぐなアセンブリでプログラミングを行っていた昔の時代には、実行時に自分自身を変更するプログラムが必要であり、非常にありふれたものであったことも注目に値します。
ポールグラハムのエッセイ「Lispの違い」について：
多くの言語にはマクロと呼ばれるものがあります。しかし、Lispマクロは独特です。信じられないかもしれませんが、彼らが行うことは括弧に関連しています。Lispの設計者は、異なるようにするために、これらの括弧をすべて言語に入れませんでした。Blubプログラマーにとって、Lispコードは奇妙に見えます。ただし、これらの括弧は理由があります。それらは、Lispと他の言語との間の根本的な違いの外面的な証拠です。
LispコードはLispデータオブジェクトから作られています。また、ソースファイルに文字が含まれ、文字列が言語でサポートされているデータ型の1つであるという簡単な意味ではありません。Lispコードは、パーサーによって読み取られた後、トラバースできるデータ構造で構成されています。
コンパイラがどのように機能するかを理解している場合、実際に起こっていることはそれほど多くはなく、Lispには構文がないため、Lispには奇妙な構文があります。他の言語が解析されるときにコンパイラ内で生成される解析ツリーでプログラムを記述します。ただし、これらの解析ツリーはプログラムから完全にアクセスできます。それらを操作するプログラムを書くことができます。Lispでは、これらのプログラムはマクロと呼ばれています。それらはプログラムを書くプログラムです。
プログラムを書くプログラム？いつそれをしたいですか？あなたがCobolで考えるならば、それほど頻繁ではありません。Lispで考える場合は常に。ここで、強力なマクロの例を挙げて、そこに言っておくと便利です。どのようにそのことについて？しかし、私がそうした場合、それはLispを知らない人にとっては意味不明なものに見えるだけです。ここには、それが何を意味するのかを理解するために知っておく必要があるすべてを説明する余地はありません。Ansi Common Lispの私は私ができるほど高速に沿って物事を移動しようとした、とさえ私は160ページまでのマクロを取得できませんでした。
しかし、私は説得力があるかもしれない一種の議論を与えることができると思います。Viawebエディターのソースコードは、おそらく約20-25％のマクロでした。マクロは通常のLisp関数よりも書くのが難しく、必要のないときに使用するのは悪いスタイルだと考えられています。したがって、そのコード内のすべてのマクロは存在する必要があるため、そこにあります。つまり、このプログラムのコードの少なくとも20〜25％は、他の言語では簡単に実行できないことを実行しています。どんなにブラブプログラマーも、Lispの神秘的な力に対する私の主張について懐疑的であるかもしれません。私たちはこのコードを私たち自身の娯楽のために書いていませんでした。私たちは小さなスタートアップであり、私たちと競合他社との間に技術的な障壁を置くために、できる限りハードにプログラミングしました。
疑わしい人は、ここに何らかの相関関係があるのか疑問に思うかもしれません。私たちのコードの大部分は、他の言語では実行するのが非常に難しいことを行っていました。結果として得られたソフトウェアは、競合他社のソフトウェアでは実行できなかったことを実現しました。たぶん、何らかのつながりがあったのでしょう。そのスレッドをフォローすることをお勧めします。老人は松葉杖で歩きながら、目に会う以上のことがあるかもしれません。