2025-03-06

动态和静态类型系统之间的永恒争论涉及原型设计的易用性和长期可维护性之间的权衡。LLM 的兴起大大降低了选择一种擅长原型设计的语言的压力，因为 LLM 可以弥补样板和重构。相应地选择。你将需要一个Agent设置，其中 LLM 在进行更改后被告知类型错误，因此它们可以轻松地知道在进行重构时需要更新哪些其他文件。小心你的 token 成本。

不幸的是，训练语料库高度强调 Python 和 JavaScript。它们的类型化产品是可行的，但由于两者都是渐进类型系统，因此你需要仔细设置类型检查器设置以使其严格遵循（或仔细提示你的 LLM 以正确设置设置）。

原则上，Rust 应该是 LLM 的一个很好的目标语言。但是，LLM 在生成 Rust 方面不如在生成 Python/JavaScript 方面那么好。