@ryanlpeterman：Scala 创始人 Martin Odersky (@odersky) 谈为何类型将成为人类与 AI 编写代码之间的契约：我……

X AI KOLs Timeline 新闻
programming-languages type-systems ai-code-generation scala martin-odersky code-review

摘要

Scala 创始人 Martin Odersky 认为，类型将成为人类与 AI 生成代码之间的契约，帮助人类在 AI 大规模编写代码并利用漏洞的情况下保持控制权。

Martin Odersky（Scala 创始人，@odersky）谈为何类型将成为人类与 AI 编写代码之间的契约： 我认为目前我们正处于某种生存危机之中。我们让 AI 生成代码，却要求人类完成不可能的任务——比如审查这些堆积如山的代码，这注定行不通。 与此同时，AI 在利用代码漏洞方面也变得极其擅长。比如我们都听说了 Fable 之类的东西，你已经不能再使用它了，因为它太危险了。它会利用漏洞。 因此，我们现在正处于一个非常危险的时刻：人类可能会失去对这里实际发生的一切的控制。我认为编程语言可以帮助应对这一挑战。当然不仅仅是编程语言，编程语言不是灵丹妙药，但它们确实能起到帮助作用。 如果代码是由 AI 生成的，那么关注点就必须转移。我认为关注点会转向接口和类型。我预计类型会变得比我们过去拥有的更强大、更精确，因为类型是我们可以在人类和 AI 之间建立契约的抓手——这种契约人类能够理解，足够简洁可以被审查，而且 AI 也能够遵守。 我们必须大幅提高水平，因为说实话，目前的类型系统大多只是建议。它们大多是大致成立的规则，但并非总是如此。没有任何保证，因为你总能进行类型转换，或者使用不安全的内存操作。有很多技术可以绕过类型系统。
查看原文
查看缓存全文

缓存时间: 2026/10/14 13:57

Martin Odersky（Scala 语言创造者，@odersky）谈为什么类型将成为人类与 AI 生成代码之间的契约：

我认为我们现在正处于一种生存危机之中。AI 在生成代码，但人类却被要求完成不可能完成的任务——去审查那堆积如山的代码，这是根本行不通的。

与此同时，AI 在利用代码漏洞方面也变得极其擅长。比如我们都听说过的 Fable 之类的东西，你已经不能用它了，因为它太危险了。它会利用一切漏洞。

所以我们正处在一个非常危险的时刻——人类可能会失去对这里实际发生的事情的掌控。我认为编程语言可以帮助应对这一挑战。当然，不仅仅是编程语言，它们并非银弹，但绝对能有所帮助。

如果代码是由 AI 生成的，那么关注的焦点就必须转移。我认为焦点将转向接口和类型。我预计类型会变得比我们过去拥有的强大得多、精确得多，因为类型是我们可以在人类和 AI 之间建立契约的抓手——人类能够理解它，它足够简洁以便于审查，同时 AI 也能够遵守它。

我们需要大幅提升水平，因为说实话，目前类型系统大多只是建议。它们大多是大体上成立但并不总是成立的东西。没有真正的保证，因为你总是可以进行类型转换，或者使用一些不安全的内存操作。有太多技术可以绕过类型系统。

Ryan Peterman（@ryanlpeterman）： Martin Odersky（@odersky）是 Scala 语言的创造者，我采访了他，对比了不同语言的设计（Rust vs Zig vs Python vs Scala），以及 AI 将如何影响编程语言。

在本期节目中：

• 对比 Rust、Zig、Python 和 Scala 的设计 • 为什么很难……

相似文章