Programming languages 可逆计算平台

从常见问题解答：

在给定时间内实现最大可能的计算性能 位耗散率通常要求显式可逆性，而不是 仅在最低级别，但在所有计算级别——在设备中， 电路、体系结构、语言和算法（a） 推测，但尚未正式证明的结果（称之为弗兰克定律）

据我所知，位元归零时会产生能量损失。如果软件和硬件平台具有反向逻辑操作的能力，则可以减少产热

---

是否有任何编程平台（库、运行时、语言和编译器）支持可逆计算？

是的，至少在研究中有一些可逆编程语言

我对这个领域也很感兴趣，我收集了一些指针。这两篇论文很酷：

那些我还没有读过（但在我的待办事项列表中），而且看起来很有趣：

还有黑客新闻

---

关于双向转换（代码、模型、数据结构等）的文献比较丰富，在某种程度上与可逆计算有关

据我所知，对于真正的可逆计算，我们需要在可逆计算机上运行算法。仅引用以下链接：

可逆计算机：一种计算机，其中所有芯片和电路都执行可逆功能，不会向周围环境传递热量。20世纪90年代，麻省理工学院的一个小组建造了初步的硬件，证明这种“绝热”计算是可能的

---

Ref:

有多种和其他语言的实现。因为Prolog允许可逆计算，所以可以实现

位归零时会产生能量损失

任何不可逆过程（即丢失信息的过程）都伴随着能量耗散。例如，

x^2

函数是不可逆的，因为它不是双射函数，要实现此函数，您应该

• 删除一些信息并消耗一定的能量
• 或者改为实现（x，0）->（x，x^2）

是否有支持可逆计算的编程平台（库、运行时、语言和编译器）

---

Julia是一种开源、嵌入式领域特定的可逆编程语言。此eDSL可用于，性能良好。

您能否引用“弗兰克定律”的来源：我想了解更多信息，因为它听起来很有趣。我找到了一个列表和一个最近的.Grand。非常感谢安东尼