C言語コラム/メタ言語としてのC言語という問題 の履歴(No.2)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• C言語コラム/メタ言語としてのC言語という問題 へ行く。
  • 1 (2009-07-15 (水) 14:08:20)
  • 2 (2010-09-08 (水) 18:47:36)

　C言語コラム/メタ言語としてのC言語という問題†

　C言語に関して特徴的だと思うことが3つあります。

• シンプルだが自由度の高い言語
• C言語ぐらい知っていて当然と自負する人が多いが、実際の知識は不正確であることが多い
• 処理系依存の機能が多い

　実はこの特徴はXMLとよく似ています。

• シンプルだが自由度の高い言語
• XMLぐらい知っていて当然と自負する人が多いが、実際の知識は不正確であることが多い
• XMLで作られた特定言語依存の機能が多い

メタ言語という問題†

　XMLがシンプルなのに理解できない理由は、それがメタ言語つまり言語を作る言語であるという理由によります。メタ言語とは抽象的な存在であるために、具体的なイメージを描いて理解することは難しいのです。それにも関わらずシンプルゆえにすぐに使うことができます。使える以上は理解できているはずだと錯覚することで、上のような状況が発生します。

　実は、C言語も基本的に同様であることに気付きました。C言語の標準には多数の「処理系定義」という言葉が使われていて、標準Cだけでは動作の結果が1つに定まらない要素が多数あります。つまり、標準Cが規定するものは具体的な言語ではなく、あり得る多数の可能性の集積体としての抽象的な言語であると考えると分かりやすいでしょう。

　このように考えればC言語も一種のメタ言語であり、実装されたC言語という具体的な言語を作り出す言語であると見なせます。

　メタ言語としてのC言語を使うとは†

　メタ言語としてのC言語を正しく使うとは、結果が1つに決まらない機能を使わない、という意味ではありません。そうではなく、結果が1つに決まらない可能性の海としてC言語を扱うことを意味します。

　たった1つの結果について論じることができるのは、あくまでC言語の特定の実装、特定の環境に対してだけです。

　この2つを混同し、標準Cの世界でたった1つの結果を得ることを前提とした語りは不毛であり、そのような前提で導き出されたどのような結論も実地では通用しがたい可能性があり得ます。