CurateClick

编程语言可以实现时间旅行吗？（英文）

文章探讨了编程语言实现时间旅行的可能性，从一款使用数据库实现运行时时间旅行功能的编程游戏出发，介绍了计算机科学中时间建模的形式逻辑。

Check out 编程语言可以实现时间旅行吗？（英文） on CurateClick

• Copy the embed code to showcase this product on your website

• Share on X to spread the word about this amazing tool

View on GitHub

https://stackoverflow.blog/2024/02/12/can-a-programming-language-implement-time-travel/本文从一种使用数据库实现运行时“时间旅行”功能的编程游戏出发，介绍“计算机科学和编程长期以来一直在寻求将时间建模为一种形式逻辑，这种形式逻辑可以以更具确定性的方式使用，而不仅仅是使用DateTime进行时间戳记”。