Ask me anything
summary
A new language called Verse implements functional logic with an effect system and a strong type system that scales toward proofs; it uses transactional memory as the concurrency model and targets social real‑time 3D worlds. Epic ships Verse to thousands of programmers inside Fortnite, already supporting a several‑hundred‑million‑dollar economy. The compiler emits Haskell‑style comprehensions, a visual editor prototype exists, and core questions remain engineering‑scale: building an STM that can safely support billion‑user data locality and backward‑compatible open‑world modules.
AI-written summary · about
chapters (15)
- 0:00Introduction and context
- 2:15The vision for Verse
- 5:21Functional logic foundations
- 8:20Type systems and math
- 11:06Adoption and community
- 12:21Effect systems
- 14:03Education and security
- 16:10Security policies
- 19:14Marketing to programmers
- 23:40Performance predictability
- 27:21Learning from Prolog
- 31:10Graphics and everything
- 33:08Visual programming tools
- 36:00Scalability and STM
- 38:11Closing thoughts
related talks
01h 02mLanguage Design meets Verifying Compilers
26mInfinite Possibilities
39mDesigning software with effects systems
45mFunctional Programming in the Large - Status and Perspective
13mPublic Static Void
51mTechniques for Wielding Data and Behaviors
07mEYG a predictable, and useful, programming language
44mSpearheading The Future of Programming