「メタプログラミング」の版間の差分

削除された内容 追加された内容
編集の要約なし
編集の要約なし
2行目:
{{プログラミング・パラダイム}}
 
'''メタプログラミング'''(''Metaprogramming'')とは、自己反映性のプログラムロジックを操作して、コードまたはデータ定義情報の変容による再帰的かつなプログラムの自己修正と、帰納的なプログラムの自己修正検証を表現するためのプログラミング技法である。そのプログラムロジックは[[形而上学|形而上的]]要素になぞらえられて実装面では[[メタデータ]]と呼ばれる。プログラムの自己修正および自己検証はランタイム時とコンパイル時に大別される。ランタイム時メタの方はプログラム開始時の動作制約を越えた実行プロセスの最適化を目的にしており[[機械学習]]にも似た性質を持つ。コンパイル時メタの方は[[ソースコード]]の記述量削減と[[オブジェクトコード]]の最適化を目的にしている。ランタイム時メタの実装方式には[[動的型付け]]向けのメタオブジェクトと[[静的型付け]]向けの[[リフレクション (情報工学)|リフレクショティブプログラミ]]がある。コンパイル時メタの実装方式には[[マクロ (コンピュータ用語)|マクロ]]と[[テンプレートメタプログラミング]]がある。[[自動プログラミング]]、{{仮リンク|属性指向プログラミング|en|Attribute-oriented programming|label=}}{{仮リンク|多段階プログラミング|en|Multi-stage programming|label=}}といったスタイルも存在する。メタプログラミングの原点は「[[LISP]]」であり[[人工知能]]研究とも関係性がある。
 
*== [[クワイン (LISPのメタプログラミング)]] ==
== 概要 ==
代表的なメタプログラミングの例は[[LISP]]のマクロである。LISPではデータ、コードが全て[[S式]]で表現されるが、マクロによりS式が言語処理系に解釈される前に別なS式へと変換することができる。これにより例えば、
(defstruct point (x 0) (y 0))
25行目:
このことは、Lispのマクロが、'''上のかぎ括弧「」で括った言語仕様を変更し、独自の文法を作り上げた'''とも考えられる。しかし、この文法は、通常のLispにおいて期待されるような構成をしていない「記述どおりでない動作を行うプログラム」の一例であり、コードの可読性を損なう恐れのある不必要なメタプログラミングである。
 
== マクロ ==
 
== リフレクティブプログラミング ==
 
== テンプレートメタプログラミング ==
メタプログラミングの他の例としては[[C++]]における「[[テンプレートメタプログラミング]]」などが挙げられる。
 
== メタオブジェクト ==
 
== 代表的なメタプログラミング採用言語 ==
 
* [[LISP]]
* [[REBOL]]
* [[クワイン (プログラミング)]]
 
== 脚注 ==
31 ⟶ 44行目:
 
== 関連項目 ==
* [[LISP]]
* [[REBOL]]
* [[クワイン (プログラミング)]]
* [[ドメイン固有言語]] - メタプログラミングにより構築することもできる。
* [[部分評価]]