GoSuda

AI時代のモダン言語

By Rabbit Princess
views ...

モダン言語

モダン言語とは、過去の言語に比べてより高い生産性、安定性、セキュリティ、保守性を提供する言語を意味します。これらの言語は、最新の技術と概念を積極的に導入し、開発者により効率的で安全な開発ツールを提供します。代表的なモダン言語としては、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()メソッドが実際にどのような動作をするかを知るために、以下のような推論を繰り返す必要があります。

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

このような情報は、一つのファイルあるいは一つの関数に集まっておらず、クラスファイル間の関係と継承構造を辿ってのみ理解できます。さらに、reflectionやdynamic loadingのように実行時に決定される要素は、AIの立場からはブラックボックスのようで、事実上分析が不可能です。

構文糖衣および式

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

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

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

AI時代の真のモダン言語

上記の内容を通じて、私たちはモダン言語の特徴が実際にはAI時代に適さない旧時代的な要素であることを知ることができます。それでは、どのような言語がAI時代の最も適したモダン言語となりうるでしょうか？これは、過去のモダン言語が排斥した要素からヒントを得ることができます。AI時代のモダン言語は

  1. 明示的な構文と自然な流れを持つべきです。
  2. 過度なOOP構造から脱却し、平面的で単純な構造を持つべきです。
  3. 不必要な構文糖衣や暗黙的パターンよりも、限定された基本キーワードのみで複数の機能を製作します。
  4. 複雑なビルドシステムではなく、単純で予測可能なビルドシステムを持つべきです。

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

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