Ear*_*ine 22 haskell quantum-computing
我刚读了一篇关于量子物理学的文章.一个有趣的事情是,在Haskell程序员看来,这两个领域之间存在一些相似之处.
首先,量子世界中的测量看起来类似于Haskell中的懒惰评估:如果你不测量,你不知道猫是生还是死.如果您不评估,则不知道该值是否已定义或undefined.
其次,在量子中我们有EPR悖论,这可以通过高于光的速度或等效的时间机器的相互作用来解释.在Haskell,正如我们在看到大会:递归循环编程做-Monad.Reader问题6,我们可以访问,通过使用递归的来自未来的值do.
最后,在量子中,我们必须区分熵永不减少的可观察世界和时间在两个方向上相等的"纯"量子世界.在Haskell中,我们拥有IO()描述程序实际执行情况的世界,以及从未产生副作用的纯粹功能世界,并且价值从不依赖于评估顺序.
所以我猜上述事实表明这两个领域之间存在一些相互联系.这会产生更有趣的后果吗？例如,虽然我已经谈到了EPR悖论,但我不知道如何创建一个Haskell程序来模拟这个:一个函数创建两个值,后来对其中一个的评估会影响另一个(我认为这些值必须有IO()类型,但我不知道如何把它们放在一起).
Don*_*art 25
Haskell一段时间以来一直被用作量子编程语言.
主要参考点是Haskell中的Quipper DSL.
更有趣的东西 - http://www.kurzweilai.net/quipper-language-makes-quantum-computers-easier-to-program