programming-languages - 可逆计算平台

Question

来自 Reversible Computing常问问题:

Achieving the maximum possible computational performance for a given rate of bit dissipation generally requires explicit reversibility not only at the lowest level, but at all levels of computing--in devices, circuits, architectures, languages, and algorithms (a strongly conjectured, but not yet formally proven result-call it Frank's Law).

据我了解，当位归零时会产生能量损失。如果软件和硬件平台具有反转逻辑操作的能力，就可以减少热量的产生。

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

Answer 1

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

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

Principles of a reversible programming language

A reversible programming language and its invertible self-interpreter

那些我还没有读过(但在我的待办事项列表中)并且看起来很有趣的:

information effects

Invertible Syntax Descriptions-Unifying Parsing and pretty printing

An Injective Language for Reversible Computation

还有 this thread关于黑客新闻。

有更多关于双向转换(代码、模型、数据结构等)的文献，这在某种程度上与可逆计算相关。