../code/conceptPage.scroll

id verse
name Verse
appeared 2022
creators Simon Peyton Jones and Tim Sweeney and Lennart Augustsson and Koen Claess
tags pl

reference https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf
reference https://conf.researchr.org/details/flops-2024/flops-2024-papers/4/Verse-A-New-Functional-Logic-Language
reference https://www.reddit.com/r/ProgrammingLanguages/comments/1c4gn39/verse_a_new_functional_logic_language_lennart/

example
 f(p:int,q:int):int :=
 if (x=0) then { p=3; q=4 }
 else { p=232; q=913 }; y:int; z:int;
 f(y,z); y+z