Verse - A New Functional Logic Language
summary
Verse is a new functional‑logic language used inside Unreal Engine for Fortnite (UEFN) and driven by Tim Sweeney’s design. It combines logical variables and unification with a failure‑based control model instead of booleans, lenient evaluation (not strict or lazy), and executable types; the verifier is a static checker that sometimes cannot decide correctness. Functions can be open or closed for overloading, arrays are just indexed functions, and colon turns arrays into enumerated choices. Thousands already use the UEFN subset in production.
AI-written summary · about
chapters (13)
- 0:00Introduction to Verse
- 0:53Purpose and origins of Verse
- 4:40Core language features
- 7:03Handling failure
- 10:49Function call types
- 12:17Unification in Verse
- 14:31Choice and iteration
- 19:24Lenient evaluation
- 23:11Types and functions
- 27:24Function overloading
- 30:27Lambda and patterns
- 34:39Domain iteration and unification
- 40:07Verse in Fortnite
related talks
30mThe Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi...
01h 02mAnother Taste of Verse
41mAn Introduction to Functional Imperative Programming in Flix
15mEquality Saturation Theory Exploration à la Carte
01h 02mLanguage Design meets Verifying Compilers
05mFunctional Programming without the Functions
43mWrite your own domain specific language with F#
30mTrustworthy Formal Natural Language Specifications