Verse 的十年孕育史:从 Sweeney 的草稿到 Haskell 天团
Verse 不是临时起意的产物。这一页是带年表的番外:一门在 Epic 创始人脑子里酝酿了约十年的语言,如何等来函数式编程界的一整支「天团」,最终落地成 UE6 的官方脚本语言。
一、老板的十年草稿
Tim Sweeney 不是普通意义上的 CEO——他是写着代码把 Epic 做起来的程序员,对编程语言有着近乎偏执的兴趣。按他自己的说法,Verse 这门语言他设计了大约十年:反复推翻、重来,把函数式、命令式、逻辑式编程好几种不同流派的编程思路与几十年游戏开发的经验往一个模子里熔。大多数公司的脚本语言是「项目需要,顺手造一个」;Verse 恰恰相反,是先有一套酝酿多年的语言理想,再等到一个足够大的落地场景。
光有理想还不够,把一门融合函数式与逻辑式的语言真正做出来,需要世界上最懂这件事的人。于是就有了下面这份年表。
二、大事年表
| 时间 | 事件 |
|---|---|
| 2010 年代 | Sweeney 持续打磨 Verse 的设计草稿,前后约十年。 |
| 2021 年 12 月 | Haskell 的灵魂人物 Simon Peyton Jones 以 Engineering Fellow 身份加入 Epic,与老搭档、Haskell 首个编译器的作者 Lennart Augustsson 等人一起把语言落地;团队里还有 Koen Claessen、Joachim Breitner、Ranjit Jhala、Olin Shivers 等函数式编程界的名字。 |
| 2022 年 12 月 | Verse 在 Haskell eXchange 大会上首次公开亮相,并宣称将会开源、目标是成为「元宇宙的语言」。 |
| 2023 年 3 月 | Verse 随 UEFN 正式上线,开始在真实玩家面前执行数以万计岛屿的游戏逻辑。 |
| 2023 年 | ICFP 发表论文《The Verse Calculus》,为语言补上形式化的数学内核(详见拓展页 x1)。 |
| 如今 | UE6 时代,Verse 成为官方 gameplay 脚本语言——十年草稿交卷。 |
三、为什么这段历史值得你知道
因为语言的血统决定它的气质。当你在正课里遇到那些「反直觉」的设计——= 是比较不是赋值、失败取代布尔值、数据默认不可变、并发原语内建在语言里= 是判断相等而不是给变量塞值、用「走不走得通」代替是非开关、变量默认不让随便改、还有一整套「让好几条线同时跑」的写法直接内建在语言里——很容易以为是设计者的任性。但看完这份名单你会明白:这些是一群写了几十年编译器、证明了几十年定理的人,和一位做了几十年在线游戏的工程师老板,坐在一起反复权衡后的取舍。
Haskell 社区花三十年验证过的思想(纯函数、类型系统、惰性与严格的边界),逻辑式编程半个世纪的遗产(合一、回溯、选择),再加上 Fortnite 量级的工程约束——Verse 是这三股水流的汇合处。你学的不只是一门工具语言,还是编程语言研究史上一次少见的「学院派与工业界联姻」的成果。知道这一点,再碰到怪语法时,你的第一反应会从「这什么鬼」变成「他们为什么这么选」——这是新手和老手读语言的分水岭。
想继续深挖的话,Wikipedia 的 Verse 词条收录了完整的时间线与参考文献,社区维护的 UnrealVerseGuru 资料库则汇总了历年演讲、论文与教程链接,都是可靠的一手索引。
四、小测一下
Verse 首次公开亮相是在哪个场合?
Simon Peyton Jones 于 2021 年 12 月以什么身份加入 Epic?
来源与延伸
本文整理自 Wikipedia 与社区资料库: