最終章です。第1章から第7章まで、構文の三層、文法の記述、構文族、パラダイムの体現、糖衣とマクロ、シフトの力学、 そして収斂を辿ってきました。残された問いは一つ——構文はこれからどこへ向かうのか。 AIが日常的にコードを書く時代に、「人間のための形」である構文の役割は変わるのか。むしろ消えてしまうのか。 この刺激的な問いに、両論を並べながら向き合います。

「最も熱い新言語は英語だ」

2023年1月、元Tesla AI責任者でOpenAI共同創業者のアンドレイ・カーパシー(Andrej Karpathy)の一言が、 世界に波紋を広げました。

反論 — 英語は曖昧すぎる

しかし、すぐに強力な反論が起こりました。認知科学者ゲアリー・マーカス(Gary Marcus)はこう切り返します。

この対立は、どちらか一方が勝つ単純な話ではありません。むしろ重要なのは、「AIが書くほど、厳密な構文の価値はかえって増す」 という逆説的な見方です。

graph TB
  AI["AIがコードを大量生成"]
  RISK["生成物に誤り・脆弱性"]
  GRAMMAR["厳密な構文・型・文法"]
  CHECK["コンパイラ/型検査が\nAIの誤りを即座に捕捉"]
  AI --> RISK
  RISK --> GRAMMAR
  GRAMMAR --> CHECK
  CHECK -->|安全網として機能| AI
  style GRAMMAR fill:#8b5cf6,stroke:#6d28d9,color:#fff
  style CHECK fill:#14b8a6,stroke:#0d9488,color:#fff
逆説: AIが書くほど、厳密な構文・型・文法は「AIの誤りを捕捉する安全網」として価値を増す

実際、ある研究(SynCode, 2024)は文法による制約でLLMが生成するコードの構文エラーを約96%削減できると報告しました。 形式文法は、AIと対立するものではなく、AIを支える補助具として機能しうるのです。

2020年代の新言語 — 表現力の二段階化

AI時代を見据えて設計された新言語には、ある共通の発想が見られます。それは表現力の二段階化—— 「緩く速く書ける層」と「厳密で安全な層」を一つの言語に同居させる、という戦略です。

言語 登場 構文の思想
Mojo 2023 Pythonスーパーセット。def(緩い)とfn(厳格・型強制)を共存させる
Rust 2015〜成熟 所有権・借用・ライフタイムを& &mut 'aで構文に可視化
Zig 〜v1.0目前 「書かれていないことは起きない」。隠れた制御フロー・メモリ確保を排除
Gleam 2024 v1.0 「1午後で習得できる」小さな表面積。静的型+網羅的パターンマッチ

クリス・ラトナー(LLVM・Swiftの生みの親)が設計するMojoは、この思想を最も明快に体現します。 Pythonの書きやすさを保ちつつ、性能が要る箇所だけ厳格な構文に切り替えられるのです。

# Mojo — def は Python互換の緩い書き方
def greet(name):
    return "Hello, " + name

# fn は型を強制し、メモリ安全をコンパイラが保証する厳格な書き方
fn greet2(name: String) -> String:
    return "Hello, " + name

AIにとって読みやすい構文とは

さらに踏み込んで、「AIにとって扱いやすい構文」を意識的に設計する動きも始まっています。MoonBitという言語は 2024年のICSE国際会議で「AIフレンドリーな言語設計」を発表し、フラットな構造・トップレベルの型注釈・高速な静的解析といった原則を掲げました。 狙いは、LLMが正確にコードを生成・検証しやすくすることです。

ここでも論点は二つに割れます。AIのために簡潔にすべき(トークンを減らす)なのか、それとも AIの誤りを捕捉するために厳密・冗長にすべきなのか。MojoのfnとZigの明示性は後者に、 自然言語プログラミングは前者に向かいます。未来はおそらく、この両極のあいだのどこかにあります。

テキストを超えて — 構造化エディタ

そもそも「構文をテキストで書く」こと自体を問い直す試みもあります。構造化エディタ(projectional editing)は、 テキストではなくAST(第1章)を直接編集する方式です。JetBrains MPSが代表例で、パーサが不要になり、 常に構文的に正しい状態を保てるという利点があります。

構文と国際化 — 英語中心主義を超えて

最後に、見過ごされがちな視点を。ほとんどのプログラミング言語のキーワードは英語です。Python(オランダ生まれ)も Ruby(日本生まれ)も、キーワードは if while def。これは非英語話者にとって、見えない学習の壁になります。 この英語中心主義に挑む試みも存在します。

試み 内容
なでしこ 日本語キーワードの言語。2022年から中学校の教科書にも採用
文言(wenyan) 古典中国語の文法でJavaScriptにコンパイル
Hedy 教育用言語。47言語のキーワードで段階的に学べる
Swiftの絵文字識別子 let 🍎 = "apple" のように絵文字を変数名に使える

そして皮肉なことに、AIがこの壁を下げる可能性もあります。非英語話者が母語のプロンプトでLLMにコードを書かせられるなら、 英語キーワードの障壁は相対的に低くなる。第6章で見た「言語が思考を規定する」という問いは、 「英語という言語が、世界中のプログラマの思考をどれだけ規定してきたか」という問いにもつながっているのです。

結論 — 構文は消えない

では、構文の未来をどう見るべきでしょうか。両論を一枚にまとめます。

「構文の価値は下がる」論 「構文の価値は増す」論
主な論者 カーパシー(vibe coding) マーカス、構文検証の研究者
根拠 自然言語で複雑な動作を記述できる AI生成コードの脆弱性、文法がエラーを96%削減
新言語の向き Mojoのdef、Gleamの習得容易性 Mojoのfn、Rustの所有権、Zigの明示性
ツールの役割 プロンプトがコードを代替 構文・型検査がAIの「後見役」に

シリーズを終えて

全8章の旅を振り返りましょう。私たちは字句・構文・意味の三層から出発し(第1章)、文法を厳密に書き下す BNF・PEGを学び(第2章)、構文族と式・文の地図を広げ(第3章)、構文がパラダイムを体現するさまを見ました(第4章)。 糖衣・マクロ・DSLで構文が表現力を生む仕組みを掘り(第5章)、パラダイムシフトの力学と「言語は思考を規定するか」という問いに触れ(第6章)、 マルチパラダイム収斂で言語たちが似通っていく現代を追い(第7章)、そして構文の未来に立ちました(第8章)。

ふだん何気なく打ち込む波括弧やインデント、セミコロンの一つ一つに、半世紀以上の設計思想と、 「人間はどう考え、どう間違えるか」への洞察が宿っています。構文は、思考の器です。 新しい構文・新しいパラダイムを学ぶことは、新しい考え方を手に入れること——ダイクストラの「道具が思考習慣を形作る」を胸に、 あなた自身の次の一行を、少しだけ違う目で眺めてみてください。お疲れさまでした。

理解度チェック

問題 0 / 50%
Q1

アンドレイ・カーパシーの「The hottest new programming language is English」(2023)が主張したことは何ですか?

キーボード: 1〜4 で選択、Enter で回答