LLMコード生成環境における言語設計の比較:抽象化コストとGoの明示性

モダン言語

モダン言語とは、過去の言語と比べて、より高い生産性、安定性、セキュリティ、保守性を提供する言語を意味する。こうした言語は最新の技法と概念を積極的に取り入れ、開発者により効率的で安全な開発ツールを提供する。代表的なモダン言語としては Java、Rust、Python、TypeScript などがあり、これらは次のような特徴を持つ。

1. オブジェクト指向設計 ( OOP )

モダン言語の多くはオブジェクト指向の概念を基盤として設計されている。オブジェクト指向はカプセル化、継承、多態性といった原則をサポートし、複雑なシステムを小さな単位のオブジェクトに分けて管理することで、プログラムの構造を明確かつ柔軟にする。これは特に大規模なソフトウェア開発において開発コストと工数を統制し、保守時に生じうる問題を減らすうえで効果的である。

2. 構文糖衣および式ベースの文法

モダン言語は、コードの可読性と開発生産性を高めるために、さまざまな構文糖衣と式ベースの文法を提供する。三項演算子、ラムダ式、パターンマッチングなどの機能は、ボイラープレートコードを減らし、コードを予測可能にし、開発者の生産性を向上させる。

3. モジュールシステム

モダン言語はモジュールシステムを通じて、プログラムを複数の単位に分離して管理できるようにする。これはコードの再利用性と依存関係の管理を容易にし、プロジェクトの規模が大きくなっても保守を円滑にする。代表的な例としては、Java の Maven/Gradle、Rust の Cargo、TypeScript の npm/yarn などがある。

4. 中間言語および仮想マシン

モダン言語は、プラットフォーム独立性、性能最適化、セキュリティのために中間言語と仮想マシンを導入している。代表的な例として JVM、LLVM、WASM、GraalVM などがある。

AI時代の開発とモダン言語の限界

モダン言語は、人間が大部分のコードを記述するという前提のもとで生まれた。自然にモダン言語の目的は、反復作業を減らして生産性を高め、開発者が協業できる構造によって大規模ソフトウェアを効果的に実装することになった。しかしAI時代に入り、この前提は徐々に崩れつつある。Copilot、Cody などのAI基盤ツールはコード作成の多くの部分を自動化しており、一人の開発者が生産できるコードの量は飛躍的に増加している。その結果、かつては長所と感じられたモダン言語の特徴が、次第に時代遅れの短所へと変わりつつある。

オブジェクト指向設計

AIは、一つの関数やモジュールの中にすべての情報が明示された構造を、迅速かつ正確に分析することができる。一方で、コンテキストが増えるほど推論すべき区間が増えるため、AIの生産性と正確性は低下する。OOPで書かれたコードはロジックを一箇所で管理するのではなく、複数のオブジェクトに分散させるため、結果としてAIにより多くのコンテキストを要求することになる。次のコードを見てみよう。

 1public class AnimalHandler {
 2    public void handle(Animal animal) {
 3        animal.speak();
 4    }
 5}
 6
 7public class Main {
 8    public static void main(String[] args) {
 9        AnimalHandler handler = new AnimalHandler();
10
11        Animal a1 = new Dog();
12        Animal a2 = new Cat();
13        Animal a3 = new Horse();
14
15        handler.handle(a1);
16        handler.handle(a2);
17        handler.handle(a3);
18    }
19}

上記のコードにおいて、AIが speak() メソッドの実際の動作を把握するためには、次のような推論を繰り返さなければならない。

animal はどの具象クラスのインスタンスなのか？
そのクラスでオーバーライドされた speak() メソッドはどこに定義されているのか？
Dog と Cat クラスの定義はどこにあり、その内部の動作は何か？
Dog と Cat クラスが他のクラスによってオーバーライドされる可能性はないか？

これらの情報は一つのファイルや一つの関数にまとまっておらず、クラスファイル同士の関係と継承構造をたどってはじめて理解できる。さらに、リフレクションや動的ロードのように実行時に決定される要素は、AIにとってブラックボックスも同然であり、事実上分析が不可能である。

構文糖衣および式ベースの文法

AIは暗黙的な動作よりも明示的な動作を好み、複雑な構造を利用するよりも、単純な構造を組み合わせて一つの正解を作ることを好む。それに対して、構文糖衣は多様な表現を許容する一方で、その内部動作は同一または類似している場合が多い。AIはこの多様な表現の意味を一つひとつ学習しなければならず、特定の状況でどの文法を推奨すべきかという優先順位を判断することが困難になりうる。

中間言語および仮想マシン

AIは大部分がソースコードを基盤として学習する。一方、中間言語（bytecode）はコンパイル過程で変数名などの意味が除去され、実行時に仮想マシンが再解釈しなければならない。これはAIが理解したり変換したりするのが非常に難しい作業である。例えば、AIにとってTypeScriptからGoへの変換は可能だが、V8 engine のバイトコードを JVM のバイトコードや機械語へ変換することは事実上ほぼ不可能である。

AI時代の真のモダン言語

以上の内容から、モダン言語の特徴が実際にはAI時代に適合しない時代遅れの要素であることがわかる。では、どの言語がAI時代に最も適したモダン言語になりうるのだろうか。これは、従来のモダン言語が排除してきた要素からヒントを得ることができる。AI時代のモダン言語は次のようでなければならない。

明示的な文法と自然な流れを持つべきである。
過度なOOP構造を脱し、平面的で単純な構造を持つべきである。
不要な構文糖衣や暗黙的パターンよりも、限られた基本キーワードだけで複数の機能を作成する。
複雑なビルドシステムではなく、単純で予測可能なビルドシステムを持つべきである。

これらの基準に最もよく合致する言語は Golang である。Go言語は、最小限の核となるキーワードと単純な文法の組み合わせだけで、実用的な大部分の機能を実装できるように設計されており、不要な抽象化と暗黙的な動作を徹底的に排除する。これは開発者だけでなく、AIがコードを解釈し生成するうえでも有利な構造である。

このように、予測可能で平面的な構造、明示的な流れ、一貫した文法を志向するGoの特性は、人間の開発者を基準に設計された既存のモダン言語とは異なり、AIが積極的に関与する開発環境によく適合する。かつては時代遅れだと見なされたGoの保守的な設計思想が、むしろAI時代においては最も先進的な選択となるのである。