arrow is an actively used programming language created in 2015. 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.
- arrow first appeared in 2015
- Have a question about arrow not answered here? Email me and let me know how I can help.
Last updated August 9th, 2020