第10章: 現代と未来 — メモリ安全・AI・WebAssembly

ついに最終章です。機械語の0と1から始まった70年の旅は、いま現代の最前線にたどり着きました。 本章では、2010年代後半から2026年現在を動かす3つの大きな潮流——メモリ安全性、AI、WebAssembly——を見渡し、 最後に「プログラミング言語はこれからどこへ向かうのか」という問いに向き合います。 歴史の総決算であり、未来への展望です。

第1の潮流 — メモリ安全性という新しい正義

C/C++は半世紀にわたりシステムプログラミングを支えてきましたが、その「プログラマを信頼する」哲学（第3章）には代償がありました。 メモリ安全性の問題——ダングリングポインタ、use-after-free、バッファオーバーフロー——です。 これらは深刻なセキュリティ脆弱性の温床で、ある調査ではソフトウェア脆弱性の大きな割合をメモリ関連が占めるとされます。

この問題に「第三の道」を示したのが Rust です。手動メモリ管理（C/C++）でもガベージコレクション（Java/Python）でもなく、 所有権（ownership）と借用（borrowing）というルールで、コンパイル時にメモリ安全性を保証します。 実行時コストゼロで安全性を得る——これがRustの革命でした。

fn main() {
    let s1 = String::from("hello");
    let s2 = s1;            // 所有権が s1 から s2 へ「移動」する
    // println!("{}", s1);  // コンパイルエラー! s1はもう無効
    println!("{}", s2);     // OK: 所有者は s2

    // borrow checker がコンパイル時に
    // 「誰がいつメモリを所有・参照するか」を検証する
}

Rustの勢いは本物です。2025年、LinuxカーネルはRustを「実験的」ステータスから外し、 「もはやカーネルの中核の一部だ」と位置づけました。さらに重要なのが、米政府機関の動きです。 CISAやNSAは2023〜2025年にかけて、メモリ安全言語（MSL）への移行を強く推奨するガイダンスを相次いで発表しました。 メモリ安全性は、もはや一部の理想主義者の主張ではなく、国家レベルのセキュリティ規範になりつつあるのです。

システム言語の新潮流 — Go・Zig・Carbon

Rust以外にも、現代のシステムプログラミングには新しい選択肢が広がっています。

• Go（2009, Google）— goroutineによる軽量並行性で、Docker・Kubernetesなどクラウドネイティブ基盤の言語に。シンプルさが武器
• Zig— 「より良いC」を掲げる新鋭。第一級のC相互運用と明示的な制御を重視。2026年に1.0を予定
• Carbon（Google）— C++の後継候補。C++との双方向相互運用で移行パスを提供する実験段階の言語

第2の潮流 — AIがプログラミング言語を変える

2020年代最大の地殻変動は、間違いなくAIコーディングです。GitHub Copilotやその後継、各種AIアシスタントが 日常的な開発に浸透し、言語の世界に新しい力学を持ち込んでいます。

第8章で見たように、AI時代には型安全性が再評価されています。AIが生成したコードには誤りが混じりますが、 TypeScriptやRustのような強い型システムは、その誤りを本番に届く前にコンパイル時に捕捉できます。 「LLM生成のコンパイルエラーの大半が型チェックの失敗」というデータは、AIと型システムの相性の良さを物語ります。

第3の潮流 — WebAssemblyとMojo

WebAssembly（Wasm）は、もともとブラウザ上でC++やRustを高速実行するための技術でした。 しかしいま、その射程は「ブラウザを超えた」普遍的な実行環境へと広がっています。 CloudflareやFastlyのエッジコンピューティングはWasmベースで、ほぼゼロのコールドスタートで世界中の拠点でコードを実行します。 WASIという標準により、Rust・Go・Python製のモジュールを言語横断で組み合わせることも可能になりつつあります。

新しい言語も生まれ続けています。注目は Mojo（2023, Modular社）。 「Pythonの使いやすさと、C++/Rust級の性能を両立する」AI向け言語を標榜し、 Pythonとの互換性を保ちながら桁違いの高速化を狙います。設計者はLLVM/Swiftを手がけたクリス・ラトナー。 「AI時代に最適化された言語」という新しいニッチを切り拓こうとしています。

収斂か、多様化か — 言語の未来

70年の旅の終わりに、最大の問いを考えましょう。プログラミング言語は今後、少数に収斂していくのか、 それとも多様化し続けるのか。答えは「両方」のようです。

役割分化（多様化）の面では、ドメインごとに「定番言語」の棲み分けが進んでいます—— AI/データはPython、WebはTypeScript、クラウド/インフラはGo、安全性クリティカルはRust。 各言語が自分のキラードメインを固めつつあります。

一方で収斂も進んでいます。型付けでは「漸進的型付けと強い型推論」へ（第5章）、 パラダイムでは「マルチパラダイム化」へ。かつて対立していた静的/動的、OOP/関数型は、多くの言語が両方を取り込み、 境界が溶けつつあります。つまり「用途ごとに言語は分かれるが、各言語の中身は似通っていく」—— これが現時点での最も妥当な見立てです。