2013-08-27 4 views
21

मैंने क्वांटम भौतिकी के बारे में बात करते हुए एक लेख पढ़ा है। एक दिलचस्प बात यह है कि हास्केल प्रोग्रामर के विचार में इन दो क्षेत्रों के बीच कुछ समानताएं हैं।हैस्केल क्वांटम कंप्यूटिंग के लिए उपयुक्त है?

सबसे पहले, क्वांटम दुनिया में माप हास्केल में आलसी मूल्यांकन के समान लगता है: यदि आप माप नहीं पाते हैं, तो आप नहीं जानते कि बिल्ली जीवित या मृत है या नहीं। यदि आप मूल्यांकन नहीं करते हैं, तो आप नहीं जानते कि मान परिभाषित किया गया है या undefined

दूसरा, क्वांटम में हमारे पास EPR paradox है, जिसे प्रकाश की तुलना में गति, या समकक्ष, एक समय मशीन के साथ इंटरैक्शन द्वारा समझाया जा सकता है। हास्केल में, जैसा कि हमने Assembly: Circular Programming with Recursive do -Monad.Reader issue 6 में देखा है, हम भविष्य में आने वाले मान को रिकर्सिव do के उपयोग से प्राप्त कर सकते हैं।

अंत में, क्वांटम में हमें अवलोकन योग्य दुनिया को अलग करना होगा जिसमें एंट्रॉपी कभी कम नहीं होती है, और "शुद्ध" क्वांटम दुनिया जिसमें समय दोनों दिशाओं के बराबर होती है। हास्केल में हमारे पास IO() दुनिया है जो वर्णन करती है कि वास्तव में प्रोग्राम क्या करता है, और शुद्ध कार्यात्मक दुनिया जिसका कभी दुष्प्रभाव नहीं होता है, और मूल्य कभी भी मूल्यांकन आदेश पर निर्भर नहीं होते हैं।

तो मुझे लगता है कि उपरोक्त तथ्यों का सुझाव है कि इन दोनों क्षेत्रों के बीच कुछ अंतर-संबंध हैं। क्या इसका अधिक दिलचस्प परिणाम हो सकते हैं? उदाहरण के लिए, हालांकि मैंने ईपीआर विरोधाभास के बारे में बात की है, मुझे नहीं पता कि इसे अनुकरण करने के लिए हास्केल प्रोग्राम कैसे बनाया जाए: एक फ़ंक्शन दो मान बनाता है, और बाद में उनमें से एक का मूल्यांकन दूसरे को प्रभावित करेगा (मुझे लगता है कि उन मानों को अवश्य ही IO() प्रकार हैं लेकिन मुझे नहीं पता कि उन्हें एक साथ कैसे रखा जाए)।

+3

एक कंप्यूटर भाषा एक सैद्धांतिक अवधारणा की तुलना में अधिक होते हैं। भले ही दो अवधारणाएं (या प्रतीत होती हैं) समान रूप से कुछ भी करने के लिए आवश्यक नहीं है, चाहे कोई अन्य किसी भी उपयोगी तरीके से फिट हो। –

+7

"टाइम मशीन" वाक्यांश का उपयोग करने से पता चलता है कि आपने ईपीआर विरोधाभास को पूरी तरह से समझ नहीं लिया है। एक स्पष्ट रूप से स्पष्ट स्पष्टीकरण के लिए मर्मिन के लेख को देखें: http://theorie.physik.uni-konstanz.de/juan/pub/IsTheMoonThere_PhyToday38no4p38.pdf। – idontgetoutmuch

+2

ये सभी समानताएं हैं ... अच्छी तरह से, ह्युरिस्टिक, और ईमानदारी से अधिकांश भाग के लिए गलत है। लेकिन यह अभी भी एक अच्छा सवाल है। – leftaroundabout

उत्तर

25

हास्केल को थोड़ी देर के लिए क्वांटम प्रोग्रामिंग भाषा के रूप में उपयोग किया गया है।

संदर्भ का प्राथमिक बिंदु हास्केल में क्विपर डीएसएल होगा।

और अधिक मज़ा सामान - http://www.kurzweilai.net/quipper-language-makes-quantum-computers-easier-to-program

+6

हास्केल_ में अमृत सबरी के मॉडलिंग _ क्वांटम कंप्यूटिंग को भी देखें - http://www.cs.indiana.edu/~sabry/papers/quantum.pdf और जेर्ज़ी करकज़मारकज़ुक का क्वांटम मैकेनिक्स_ की संरचना और व्याख्या - https: //karczmarczuk.users.greyc .fr/arpap/hasiqm.pdf। दोनों 2003 हास्केल वर्कशॉप में दिखाई दिए। –

+0

धन्यवाद, क्या आप अपने अंतिम संदर्भ लिंक में दिखाई देने वाले सरल 'टेलीपोर्ट' प्रोग्राम के बारे में कुछ और बता सकते हैं? यह बहुत दिलचस्प लग रहा है। –

संबंधित मुद्दे