Verse
Epic Games
が作っている
プログラミング言語
。
関数論理型。
https://dev.epicgames.com/documentation/en-us/uefn/verse-language-reference
https://simon.peytonjones.org/verse-calculus/
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming (
ICFP
2023)
https://doi.org/10.1145/3607845
特徴
高階
Defunctionalizationではなくて、本当に高階関数相当のモノを扱える。
決定的
Choice operatorは持ちつつも
合流性
を持っている。
Choiceは無制限には使えない。⊕をchoiceとして、e₁ ⊕ e₂ → e₁、e₁ ⊕ e₂ → e₂のようなルールは採用していない。
Small-step
rewrite semantics
を持つ。
Lenient evaluation
を採用している。