プログラミング言語や形式的手法に携わるのは非常に興味深い時代だと思います。なぜなら、LLMはソフトウェアの制約のあり方を根本的に変えたからです。その兆候はすでに見られます。例えば、CをRustに移植する勢いの高まりや、COBOLなどのレガシーコードベースのアップグレードへの関心の高まりなどです。特に、LLMは新規生成に比べて翻訳に特に優れています。なぜなら、1) 元のコードベースが非常に詳細なプロンプトとして機能し、2) 具体的なテストを書くための参照として機能するためです。とはいえ、RustでさえLLMをターゲット言語として最適とは言えません。最適な言語とはどのようなものですか?人間に対してまだどのような譲歩(もしあれば)が設けられているのでしょうか?非常に興味深い新しい質問と機会です。これまでに書かれたすべてのソフトウェアの大部分を何度も書き直すことになる可能性が高いと感じます。