मैं केवल प्रकार की अवधारणा से परिचित हो, तो अगर मैं अपने सवाल अच्छी तरह से तैयार नहीं कर रहा हूँ मेरे साथ सहन करने के लिए शुरू कर रहा हूँ ...मूल्य, प्रकार, प्रकार, ... अनंत अनुक्रम के रूप में?</strong></p> <pre><code>3 :: Int [1,2,3] :: [Int] ('c',True) :: (Char,Bool) </code></pre> <p><strong>प्रकार:
मान प्रकार है प्रकार है:
the type 'Int' has kind *
the type '[Int]' also has kind *
but the type constructor [] has kind * -> *
similarly, the type (Char,Bool) has kind *
but the type constructor (,) has kind * -> * -> *
क्या प्रकार है?
क्या उनके पास प्रकार, या शैलियों, नस्लों या किस्में हैं?
अमूर्तता का यह अनुक्रम कितना दूर जाता है? क्या हम रुकते हैं क्योंकि हम शब्दों से बाहर निकलते हैं, या हम रोकते हैं क्योंकि आगे जाने से कोई मूल्य नहीं है? या, शायद, क्योंकि हम जल्दी से मानव संज्ञान की सीमा तक पहुंचते हैं और केवल हमारे सिर को उच्च-शैली वाले प्रकारों के चारों ओर लपेट नहीं सकते हैं?
एक संबंधित प्रश्न: भाषाएं मूल्य बनाने के लिए हमें मूल्य-रचनाकार (एक विपक्षी ऑपरेटर की तरह) देती हैं। भाषाएं हमें प्रकार बनाने के लिए (,) या [] जैसे प्रकार-रचनाकार भी देती हैं। क्या ऐसी कोई भाषाएं हैं जो प्रकार बनाने के लिए दयालु रचनाकारों का पर्दाफाश करती हैं?
एक और एज केस जो मैं उत्सुक हूं: हमारे पास स्पष्ट रूप से एक प्रकार है जिसका कोई मूल्य नहीं है, जिसे "नीचे का प्रकार" कहा जाता है। क्या कोई ऐसा प्रकार है जिसमें कोई प्रकार नहीं है: नीचे की तरह?
'[int]' just '*' की तरह नहीं है, जबकि यह सूची प्रकार का निर्माता है, जिसकी तरह '* -> *' है (एक प्रकार दिया गया है 'यह एक प्रकार का उत्पादन करता है' [ए ] ')? – gspr
धन्यवाद @gspr I बेहतर सटीकता के लिए संपादित किया गया। – pohl
आपको [एक सवाल] में दिलचस्पी हो सकती है (http://vimeo.com/42399455?t=27m40s) किसी ने डसेल हास्केल उपयोगकर्ता समूह दिवस 2012 में जोसे पेड्रो मगलहास के "अधिक अच्छी तरह से टाइप की गई" बात के बाद पूछा प्रश्न 27 मिनट, वीडियो में 40 सेकंड में पूछा जाता है। – gspr