The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming (Video, ICFP 2023)
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, Sweden; Epic Games, USA; Epic Games, UK; Epic Games, USA; Oracle Labs, USA; Epic Games, USA)
Abstract: Functional logic languages have a rich literature, but it is tricky
to give them a satisfying semantics. In this paper we describe the
Verse calculus, VC, a new core calculus for deterministic functional
logic programming. Our main contribution is to equip VC with a
small-step rewrite semantics, so that we can reason
about a VC program in the same way as one does with lambda
calculus; that is, by applying successive rewrites to it.
We also show that the rewrite system is confluent for well-behaved terms.
Article: doi.org/10.114...
ORCID: orcid.org/0009..., orcid.org/0000..., orcid.org/0000..., orcid.org/0000..., orcid.org/0000..., orcid.org/0000..., orcid.org/0000..., orcid.org/0009...
Video Tags: choice operator, confluence, declarative programming, evaluation strategy, even/odd problem, functional programming, lambda calculus, lenient evaluation, logic programming, logical variables, normal forms, rewrite rules, skew confluence, substitution, unification, Verse calculus, Verse language, icfp23main-p46-p, doi:10.1145/3607845, orcid:0009-0008-6894-4020, orcid:0000-0003-3753-6821, orcid:0000-0002-8113-4478, orcid:0000-0002-1802-9421, orcid:0000-0002-6085-1435, orcid:0000-0001-8171-386X, orcid:0000-0002-1421-3811, orcid:0009-0003-0230-0605
Presentation at the ICFP 2023 conference, September 4-9, 2023, icfp23.sigplan...
Sponsored by ACM SIGPLAN, www.sigplan.org/
Негізгі бет [ICFP'23] The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi...
Пікірлер