Evolving programming languages in the AI era
2 days ago
- 如果代理编写大部分代码，编程语言及其社区可能会发生变化，影响共同的感受和生态系统形成。
- 语法的人机工程学对代理而言不如对人类重要；语言应优化以保证性，而非以人为中心的语法。
- 编程语言仍然必要，因为它们提供与架构无关的表示以及针对不同任务的不同语义模型。
- 语言应通过构造正确性、静态分析、运行时强制和实证验证提供更强的保证。
- 用程序数据库（例如SQLite、Datalog）替换LSP，代理可以查询符号、引用和调用图。
- 代理应使用运行时可观测性（例如检查进程、队列）而非传统调试器进行监控和诊断。
- 随着代理降低实现成本，生态系统差距可能会缩小，但随着单个代理构建的解决方案变得可行，协作可能会减弱。