haskell - una - tecnologia cuantica ejemplos
¿Haskell es adecuado para la computación cuántica? (1)
Haskell ha sido utilizado como un lenguaje de programación cuántica desde hace un tiempo.
El principal punto de referencia sería el Quipper DSL en Haskell.
Y más cosas divertidas - http://www.kurzweilai.net/quipper-language-makes-quantum-computers-easier-to-program
Acabo de leer un artículo que habla sobre física cuántica. Una cosa interesante es que en la vista de un programador de Haskell hay algunas similitudes entre estos dos campos.
En primer lugar, la medición en el mundo cuántico parece similar a la evaluación perezosa en Haskell: si no se mide, no se sabe si el gato está vivo o muerto. Si no evalúa, no sabe si el valor está definido o undefined .
Segundo, en cuanto a Quantum tenemos la paradoja de EPR , que puede explicarse por interacciones con una velocidad superior a la luz, o equivalentemente, a una máquina del tiempo. En Haskell, como hemos visto en Assembly: Circular Programming with Recursive do -Monad.Reader número 6 , podemos acceder a un valor que viene del futuro mediante el uso de do recursive.
Finalmente, en cuanto a cuanto tenemos que distinguir el mundo observable en el que la entropía nunca disminuye, y el mundo cuántico "puro" en el que el tiempo es equivalente en ambas direcciones. En Haskell tenemos el mundo IO() que describe lo que realmente hace el programa y el mundo funcional puro que nunca tiene efectos secundarios, y los valores nunca dependen del orden de evaluación.
Así que supongo que los hechos anteriores sugieren que hay algunas interconexiones entre estos dos campos. ¿Puede esto tener consecuencias más interesantes? Por ejemplo, aunque he hablado sobre la paradoja de EPR, no sé cómo crear un programa Haskell para simular esto: una función crea dos valores, y la evaluación posterior de uno de ellos afectará al otro (creo que esos valores deben tengo tipos IO() pero no sé cómo juntarlos).