Beyond Functional Programming: A Taste of Verse
summary
Verse is a new declarative functional‑logic language being specified for Epic Games to run persistent metaverse code that must scale to millions of independent authors and billions of users. It claims transactional STM across data centers (not just per‑process STM), a novel multi‑value choice effect as a first‑class construct, and a verifier that acts like a type‑checker for a rich dependent‑style system. ShipVerse is already released as a pragmatic subset, MaxVerse is a research prototype, and the semantics use a small core calculus plus rewrite‑rule execution.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 1:51Tim Sweeney’s vision for the metaverse
- 6:49Epic’s Verse development
- 11:27Verse as functional logic
- 21:41Choice operator semantics
- 37:30Logic variables in Verse
- 50:47Core calculus for Verse
- 58:13Rewrite rules execution
- 1:00:58Future of Verse
related talks
42mFunctional Programming in 40 Minutes
43mAn Imperishable Wonderland of Infinite Fun
27mUnison: A Friendly Programming Language from the Future Part 2
32mFunctional Programming in 40 Minutes
05mFunctional Programming without the Functions
58mKeynote: Why Functional Programming Matters
20mFunctional JavaScript
32mFunctional Programming with Serialized Data