未來的程式語言是那些對代理幻覺最強大的語言,並向 LLM 提供詳細、結構化的回饋,以便在編譯失敗後繼續。它們必須*也*易於人類閱讀,因為驗證法學碩士所做的事情也至關重要!