Tim Sweeney 设想了一种用于元宇宙的函数式逻辑语言“verse”，它具有生成多个值的表达式、类似数据库的查询功能以及内置的并发管理功能。这种方法旨在简化复杂的编程，同时确保大规模协作环境（例如《堡垒之夜》的未来迭代）的类型安全。
在与 Lex Fridman 的广泛对话中，Epic Games 创始人兼首席执行官 Tim Sweeney 概述了他对编程语言未来的雄心勃勃的愿景，特别关注“verse”的开发，这是一种旨在为元宇宙提供动力的功能逻辑语言。
斯威尼的公司开发了虚幻引擎和《堡垒之夜》等热门游戏，他倡导编程语言运作方式的根本性转变。“编程语言的强大之处不在于拥有大量的功能，而在于拥有少量能够协同工作的功能，”斯威尼引用了 Pascal 语言创始人尼克劳斯·沃斯 (Niklaus Wirth) 的话解释道。
像 verse 这样的函数式逻辑语言的核心创新在于它们处理表达式的方式。传统语言只能从表达式中生成单个值，而函数式逻辑语言则可以生成零个、一个或多个值。这种看似细微的差别为条件语句和循环等编程结构创造了强大的全新可能性。
“在函数式逻辑语言中，你的条件要么成功并产生一个值，要么失败，”Sweeney 解释道。“令人兴奋的是，你的表达式可以产生值并绑定变量，然后由‘then’分支访问。”
这种方法允许更复杂的编程模式，类似于数据库查询，将“SQL 查询的强大功能”融入通用编程语言。据 Sweeney 称，这为初学者创建了一个更直观的模型。值得注意的是，通过《堡垒之夜》学习诗歌的新程序员能够自然而然地掌握这些概念：“他们只是假设编程就是这样运作的，并且他们编写的 for 循环和条件比我们通常内部编写的要高级、有趣得多。”
除了表达能力之外，Sweeney 还强调了正确性和类型安全对于元宇宙至关重要。随着无数作者创建的代码库不断演进，验证兼容性和正确性的能力变得至关重要。“修复一个已经进入运行时并落入用户手中的 bug 的成本，比修复一个你自己运行代码时发现的 bug 要高出数百倍，”他指出。
Sweeney 引用了 Curry-Howard 对应关系，这是 20 世纪 30 年代的一个基础数学成果，它建立了计算机程序与数学证明之间的关系。这种联系使得具有合理设计类型系统的编程语言能够表达和验证数学定理。“如果你以某种方式设计一个类型系统，那么你的类型就可以表达定理，”Sweeney 解释说，并补充说，Versace 的目标是成为“第一个完全采用这种方法的主流编程语言”。
或许最雄心勃勃的是 verse 的并发处理方法。该语言使用事务内存来实现大规模并行，而无需程序员手动管理线程同步。“我们将让程序员编写完全普通的代码，以完全普通的方式读写变量，他们完全不必担心并发问题，”Sweeney 说。
该系统“推测性地”运行更新，跟踪本地更改，而不是立即修改全局状态。执行后，系统会确定哪些操作没有冲突，可以安全提交。这种方法最终可以实现“数千万人同时在线”的模拟，大大超过《堡垒之夜》目前 100 名玩家的限制。
通过将并发的复杂性从单个程序员转移到语言本身，Sweeney 希望让即使是业余爱好者和编程新手也能轻松进行大规模编程。“我们正在将其从程序员需要处理的编程问题转变为我们语言设计者需要处理的语言问题，”他总结道。
免责声明：
关注我们，一起探索AWM！
近期热点
2025-05-03
2025-05-03
2025-05-02
