Ho appena letto un articolo che parla di fisica quantistica. Una cosa interessante è che in una vista del programmatore di Haskell ci sono alcune somiglianze tra questi due campi.Haskell è adatto per l'informatica quantistica?
Prima di tutto, la misurazione nel mondo quantico sembra simile alla valutazione pigra in Haskell: se non si misura, non si sa se il gatto è vivo o morto. Se non si valuta, non si sa se il valore è definito o undefined.
In secondo luogo, in quanto abbiamo lo EPR paradox, che può essere spiegato dalle interazioni con velocità superiore alla luce, o equivalentemente, una macchina del tempo. In Haskell, come abbiamo visto in Assembly: Circular Programming with Recursive do -Monad.Reader issue 6, possiamo accedere a un valore che viene dal futuro utilizzando il ricorsivo do.
Infine, in quantum dobbiamo distinguere il mondo osservabile in cui l'entropia non diminuisce mai, e il mondo quantico "puro" in cui il tempo è equivalente in entrambe le direzioni. In Haskell abbiamo il mondo IO() che descrive ciò che effettivamente fa il programma, e il puro mondo funzionale che non ha mai effetti collaterali, ei valori non dipendono mai dall'ordine di valutazione.
Quindi suppongo che i fatti sopra suggeriscano che ci siano alcune interconnessioni tra questi due campi. Questo può avere conseguenze più interessanti? Ad esempio, anche se ho parlato del paradosso EPR, non so come creare un programma Haskell per simularlo: una funzione crea due valori, e la successiva valutazione di uno di essi influenzerà l'altro (penso che quei valori debbano avere i tipi IO() ma non so come metterli insieme).
Un linguaggio informatico composto da più di un concetto teorico. Anche se due concetti sono (o sembrano) simili, non ha necessariamente nulla a che fare con l'uno o l'altro in qualsiasi modo utilizzabile. –
Usando la frase "macchina del tempo" si suggerisce di non aver compreso appieno il paradosso EPR. Per una spiegazione straordinariamente chiara vedi l'articolo di Mermin: http://theorie.physik.uni-konstanz.de/juan/pub/IsTheMoonThere_PhyToday38no4p38.pdf. – idontgetoutmuch
Tutte queste analogie sono ... beh, euristiche e onestamente sbagliate per la maggior parte. Ma questa è ancora una buona domanda. – leftaroundabout