What is it about?
The Verse programming language is being developed by Epic Games as a language for the metaverse. It is a "functional logic language", which is probably unfamiliar to many readers. This paper makes precise the semantics of a language, which we call the Verse Calculus, which distills the essence of what we mean by "functional logic".
Featured Image
Photo by Erik Mclean on Unsplash
Why is it important?
Functional logic programming is currently a very niche subject. Our goal is to kick this rich programming paradigm into the mainstream. Our main technical contribution is to explain functional logic through the mechanism of simple rewrite rules, which are particularly accessible to ordinary programmers.
Read the Original
This page is a summary of: The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming, Proceedings of the ACM on Programming Languages, August 2023, ACM (Association for Computing Machinery),
DOI: 10.1145/3607845.
You can read the full text:
Resources
Contributors
The following have contributed to this page
