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