एल्म पुनरावर्ती प्रकार परिभाषा

Question

बस एल्म कोड पर एक नज़र ले जा रहा है और निम्न प्रकार परिभाषा में आए:

type Cmd msg = Cmd 

मैं सिर्फ समझने के लिए यह कैसे काम करता नहीं कर पा रहे। कोई भी समझा सकता है?

Answer 1

यह एक पुनरावर्ती प्रकार की परिभाषा नहीं है, यह एक प्रकार के सीएमडी को एक लेबल प्रकार के साथ एक प्रकार के रूप में परिभाषित कर रहा है, जिसमें सीएमडी है, जिसमें कोई अतिरिक्त जानकारी नहीं है। आमतौर पर इस तरह की परिभाषाओं का संकेत है कि यह प्रकार उन मानों का प्रतिनिधित्व करता है जिनके पास एल्म में कोई व्यक्तिगत अर्थ नहीं है।

इस मामले में, इस प्रकार को परिभाषित किया गया है क्योंकि सीएमडी पर सभी संचालन प्लेटफ़ॉर्म कोड में छिपे हुए हैं, इसलिए उपयोगकर्ताओं को सीएमडी मानों की जांच या नष्ट करने में सक्षम होने की आवश्यकता नहीं है। सीएमडी को सीएमडी मानों की प्रकार की सुरक्षा को संरक्षित करने के लिए एक प्रकार परिवर्तक का पर्दाफाश करने की आवश्यकता है, क्योंकि वे किसी दिए गए प्रकार के संदेश को उत्पन्न करने के लिए एक वादा को समाहित करते हैं और उस प्रकार को Cmd.map के माध्यम से बदला जा सकता है।