忒修斯

忒修斯:可逆计算的高级语言。与传统的不可逆语言编程相比,可逆语言的编程仍然是“死的”,需要专门的抽象和独特的思维方式。我们提出了一种用于可逆编程的高级语言,称为Theseus,它与传统的编程语言抽象自然吻合。忒修斯具有传统功能语言的外观和感觉,同时与基于类型同构的低级语言家族PI保持着密切的对应关系[9]。自由对点组合子。Theseus有变量和绑定形式、代数数据类型、模式匹配的函数定义,是图灵完备的。这种语言是强类型的,所有类型良好的程序都是可逆的。我们通过一系列逐渐表达的例子来解释忒修斯的语义,并概述它与圆周率的对应关系。