M4 (プログラミング言語)

m4 は、ブライアン・カーニハンとデニス・リッチーが設計した汎用テキストマクロプロセッサである。その名称は「macro」（マクロ）の「m」と、AP-3ミニコンピュータでデニス・リッチーがそれ以前に書いたマクロプロセッサ「m3」の次、というところから来ている。
使用.
テキストマクロプロセッサとは、マクロと呼ばれるコマンドに従ってテキストを置換するテキスト処理ツールである。プログラミングにおいて、ソースコードのプリプロセス（前処理）でテキストをテンプレートとして再利用する、といった用途に多用されるが、あらゆる文書における定型処理のようなものに使うことができる。
歴史.
クリストファー・ストレイチーのGPM、『ソフトウェア作法』で例題として解説されているマクロプロセッサ、AP-3ミニコンピュータでデニス・リッチーがそれ以前に書いたマクロプロセッサm3、などを基に、1977年にm4は開発された。アセンブリ言語用などの特定のフォーマットに強く依存したマクロプロセッサではなく、汎用のマクロプロセッサであり、高度な拡張性を備えている（しかし、C言語的な構文に縛られている部分があるため、どんな対象にも必ずしも対応できるわけではない）。Ratforの最初の実装で使われ、UNIXにも添付された。Sendmailの設定ファイルにも使われているが、おそらく今日これを最もよく使っているのはGNUプロジェクトのautoconfである（autoconfにはGNU版m4が必須である。なお、autoconfが生成したconfigureスクリプトの実行だけであれば通常はm4は必要ない）。チューリング完全であり、コード生成に向いているとされることもあるが、過度の利用はデバッグを困難にするという問題がある（ある程度はデバッグを支援する情報の出力などといったm4の実装固有の問題であり、ある程度はマクロを利用するメタプログラミングに遍在する問題である）。
機能.
m4は、もとはFORTRANの方言であるRatforの開発を契機として開発されたものの、汎用のものであり、その適用対象は特定のコンピュータ言語や自然言語に限定されてはない。他のマクロプロセッサとは異なり、m4 は一般的なプログラミング言語と同様、チューリング完全である。
例.
Hello World コード
define(`print', `Hello World!')
print
以下のコード断片はHTML生成ライブラリの一部を示したものである。自動的に節見出しに番号を振るマクロを定義している。
define(`H2_COUNT', 0)
define(`H2', `define(`H2_COUNT', incr(H2_COUNT))' dnl
 `<h2>H2_COUNT. $1</h2>')
H2(First Section)
H2(Second Section)
H2(Conclusion)
m4 でこれを処理すると、次のようなテキストが生成される。
<h2>1. First Section</h2>
<h2>2. Second Section</h2>
<h2>3. Conclusion</h2>
実装.
元々の m4 の実装である UNIX 版は、現在は OpenSolaris から派生した Heirloom Project でフリー版が配布されている。FreeBSD、NetBSD、OpenBSD といった BSD の子孫の m4 は、1990年頃 Ozan S. Yigit が書いた実装がベースである。GNU版は、やはり1990年頃に René Seindal が書いた別の実装がベースである。以上のどれかをWindowsで実行できるようビルドしたWindows用バイナリもある。
標準.
POSIXで標準化されている。