最終章です。第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
実際、ある研究(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章)。
ふだん何気なく打ち込む波括弧やインデント、セミコロンの一つ一つに、半世紀以上の設計思想と、 「人間はどう考え、どう間違えるか」への洞察が宿っています。構文は、思考の器です。 新しい構文・新しいパラダイムを学ぶことは、新しい考え方を手に入れること——ダイクストラの「道具が思考習慣を形作る」を胸に、 あなた自身の次の一行を、少しだけ違う目で眺めてみてください。お疲れさまでした。
理解度チェック
アンドレイ・カーパシーの「The hottest new programming language is English」(2023)が主張したことは何ですか?
キーボード: 1〜4 で選択、Enter で回答