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