~/talk

Chapter and Verse: An Outsider's Overview of Epic Games' New Language

Talkat LambdaConf 2025 · 2025-05-12..05-13· [javascript]
slides:none on file

Verse is a logic‑functional language that aims to collapse types and values into one system, with a Verse Calculus underpinning goal‑driven, backtracking evaluation, a Curry‑style type approach, and a closed effect system (converges/decides/suspends, reads/writes/allocates). A beta subset runs in Fortnite creatives via Unreal Editor for Fortnite; design goals claim billion simultaneous users and pervasive transactions (atomic, O(1) writes under contention). A reference implementation in Haskell and an in‑language verifier are promised, full standalone release still pending.

AI-written summary · about

  1. 0:00Introduction
  2. 1:44Epic Games background
  3. 3:56What is Verse
  4. 6:44Verse syntax
  5. 14:22Verse semantics
  6. 27:50Types and verifier
  7. 41:12Effects and memory
  8. 43:40Verse calculus
  9. 51:51Future of Verse and Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.