Verse - a new functional logic language
summary
A new language designed at Epic mixes functional logic semantics (Curry/Mercury style) with a lenient evaluation model that evaluates in compiler-chosen order but ensures eventual evaluation, a choice operator that yields sequences rather than a single value, and a success/failure boolean-free control model where conditionals are transactional so mutable assignments inside a failing condition are rolled back. Types are first‑class predicates (types as predicates) and verification is best‑effort. A prototype ships in UEFN, bridges with C++, and already sees thousands of users and hundreds of thousands of created islands.
AI-written summary · about
chapters (8)
- 0:00Verse language intro
- 2:56Core features
- 9:08Choice operators and failure
- 13:08Transactions and mutable vars
- 18:53Four operator and arrays
- 23:22Arrays as functions
- 25:29Types as functions
- 30:06Verse in Unreal Engine
related talks
01h 05mFunctional / Logic Programming in Verse
54mWhy Games Are Positioned to Revolutionize Programming Languages
41mFunctional Game Engine Design for the Web
35mGame Development Development
11mGames People Play
14mExploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
18mWell I Wouldn't Want To Make a *Dys*functional Game
54mfn and Games with Arcadia