haskell - Haskell适合量子计算吗？

Question

我刚刚读了一篇关于量子物理的文章。一件有趣的事情是，在 Haskell 程序员看来，这两个领域之间存在一些相似之处。

首先，量子世界中的测量似乎类似于 Haskell 中的惰性求值:如果你不测量，你就不知道猫是活还是死。如果不求值，您就不知道该值是已定义还是未定义。

其次，在量子中我们有EPR paradox ，这可以通过与高于光速的相互作用来解释，或者等同于时间机器。在 Haskell 中，正如我们在 Assembly: Circular Programming with Recursive do -Monad.Reader issue 6 中看到的那样，我们可以通过使用递归 do 来访问来自 future 的值。

最后，在量子中，我们必须区分熵永不减少的可观察世界和时间在两个方向上等效的“纯”量子世界。在 Haskell 中，我们有 IO() 世界来描述程序实际执行的操作，以及从不产生副作用的纯函数世界，并且值从不依赖于计算顺序。

所以我想上述事实表明这两个领域之间存在一些相互联系。这能产生更有趣的结果吗？例如，虽然我已经讨论过 EPR 悖论，但我不知道如何创建一个 Haskell 程序来模拟这一点:一个函数创建两个值，稍后对其中一个值的评估将影响另一个值(我认为这些值必须有 IO() 类型，但我不知道如何将它们放在一起)。

Answer 1

Haskell 作为量子编程语言已经使用了一段时间了。

主要引用点是 Haskell 中的 Quipper DSL。

• Quipper paper
• New Scientist article on Quipper

还有更多有趣的东西 - http://www.kurzweilai.net/quipper-language-makes-quantum-computers-easier-to-program