下一代编程语言是什么样的？

以下摘要由 AI 根据胶片自动生成。

下一代编程语言的设计围绕三个动机展开：让程序更容易写（以 Haskell 函数式、 Curry 逻辑式及 SCENIC 驾驶场景 DSL 为例，高效描述特定领域计算任务）；驾驭智能计算（将大语言模型视为数据驱动、带不确定性的生成式算力，结合概率编程以逻辑约束控制 AI 采样，并探索自然语言与概率程序互操作的新范式）。让程序无缺陷（通过前后条件、循环不变式等契约机制和 Coq/Lean/Agda 等交互式定理证明语言在编译期验证程序正确性，并研究支持交互式证明的类 C 语言）。