arrow is a programming language created in 2015.
#4765on PLDB | 9Years Old |
A Modern Reversible Programming Language. Reversible programming languages are those whose programs can be run backwards as well as forwards. This condition impacts even the most basic constructs, such as =, if and while. I discuss Janus, the first imperative reversible programming language, and its limitations. I then introduce Arrow, a reversible language with modern features, including functions.