Source: Slashdot
Stack Overflow的博客报告了一种名为Mariposa的新编程语言。他们称其为一种“玩具”编程语言，“被创造出来是用来玩一些新颖或奇特的特性，比如变量赋值超越正常执行顺序，通俗地说，时间旅行。计算机科学长期以来一直希望在电子系统中推理时间，由于对并发性和实时消息的持续兴趣...Mariposa允许您通过将一个瞬间赋给一个变量，然后设置该实例的上下文来操纵执行顺序。
以下是一个取自Mariposa自述文件的基本示例：“x = 1 t = now() print(x) at t: x = 2” 按照正常的操作顺序，这段代码应该打印“1。但由于第二行将t赋给实例，at t:块中指定的任何修改都会立即应用，因此这段代码打印“2”...虽然Mariposa最近引起了相当多的关注，但这并不是编程中时间旅行的第一个实现。有一个名为tardis的Haskell包，它创建了两个状态转换器：一个向前移动时间，一个向后。
正如文档所解释的那样，“最简洁的解释方式是：getPast从最新的sendFuture中检索值，而getFuture从下一个sendPast中检索值。一个函数的过去是另一个函数的未来。
文章探讨了将逻辑应用于时间的“其他编程范式的历史和未来”，包括区间时间逻辑系统以及“建模、分析和验证语言/工具，允许进行时间和状态建模而无需理解时间逻辑。。
编程中的时间旅行概念或许让我们不仅可以探索代码的执行顺序，还能在程序中留下时光的足迹。
特别声明：本文及配图均为用户上传或者转载，本文仅代表作者个人观点和立场，不代表平台观点。其原创性以及文中陈述文字和内容未经本站证实，
对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本平台不作任何保证或承诺，请读者仅作参考，
并请自行核实相关内容。如发现稿件侵权，或作者不愿在本平台发布文章，请版权拥有者通知本平台处理。
Copyright Disclaimer: The copyright of contents (including texts, images, videos and audios)
posted above belong to the User who shared or the third-party website which the User shared from.
If you found your copyright have been infringed, please send a DMCA takedown notice to
info@microheadline.com
来源：https://developers.slashdot.org/story/24/02/24/0521230/can-a-programming-language-implement-time-travel?utm_source=rss1.0mainlinkanon&utm_medium=feed
https://stackoverflow.blog/2024/02/12/can-a-programming-language-implement-time-travel/
https://chridd.nfshost.com/esolang/btt/
