Stack Overflow Blog
·
编程语言能否实现时间旅行？
💡
原文英文，约1700词，阅读约需7分钟。
📝
内容提要
时间旅行是科幻中的常见主题，尽管现实中尚未实现。Mariposa是一种玩具编程语言，允许通过变量赋值改变代码执行顺序，尽管其实际应用仍需探讨。类似功能也在Haskell的tardis中实现。时间旅行编程语言通过改变变量状态进行操作，而数据库中的事务则通过时间戳管理。尽管时间旅行尚不可行，相关理论和编程概念仍在不断发展。
🎯
关键要点
- 时间旅行是科幻中的常见主题，但现实中尚未实现。
- Mariposa是一种玩具编程语言，允许通过变量赋值改变代码执行顺序。
- 时间旅行编程语言通过改变变量状态进行操作，而数据库中的事务则通过时间戳管理。
- Haskell的tardis包实现了时间旅行的功能，允许在时间中前后移动。
- 时间旅行调试器在调试代码时具有实际好处，历史可以追溯到Smalltalk。
- 许多数据库包括时间特性，事务通过时间戳管理而非覆盖。
- 计算机科学长期以来致力于将时间建模为一种形式逻辑。
- ITL（区间时间逻辑）用于验证硬件设计，Tempura是使用ITL的编程语言之一。
- 许多编程语言和工具允许在不需要理解时间逻辑的情况下进行建模和验证。
- 尽管时间旅行在理论上可能，但实际应用仍处于理论阶段，尚未实现。
➡️
