"शब्दावली प्रकार" क्या हैं, और कितने अस्तित्व में हैं?

Question

प्रोग्रामिंग भाषाओं के पार, मैं अलग-अलग नामों के साथ इसी तरह composite types का सामना किया है:

1. Optional/Maybe
2. Any
3. Variant/Sum
4. Record/Product

लोग अक्सर अवधि शब्दावली प्रकार का उपयोग ,
अभी तक मैंने कभी भी "शब्दावली" प्रकार की परिभाषा नहीं देखी है।

क्या इस शब्द की ढीली परिभाषा है?
टाइप सिद्धांत और अन्य प्रोग्रामिंग भाषाओं को शब्दावली प्रकारों के बारे में क्या कहना है?

सब कुछ एक शब्दावली प्रकार से ऊपर है? क्या और भी हैं?

Answer 1

सामान्य रूप से प्रोग्रामिंग और शब्दावली प्रकार के संबंध में शब्दावली की मेरी समझ कुछ ऐसी चीज है जो विशिष्ट वस्तुओं के गुणों को अच्छी तरह से परिभाषित अर्थ के साथ देती है।

यहाँ हास्केल में कुछ उदाहरण हैं:

पर विचार करें Optional/Maybe प्रकार और एक शुद्ध समारोह है कि एक वेब सर्वर के HTTP जबाब लेता है और जबाब के कोड निकालता है।

getCode :: String -> Int 

अब मान लें कि जब हम इस समारोह को चलाते हैं तो हम नहीं जानते कि प्रतिक्रिया सफल थी या नहीं - कोड बिल्कुल मौजूद नहीं हो सकता है। कोड गायब होने पर हम मामले का प्रतिनिधित्व कैसे करते हैं? हम कुछ कृत्रिम मूल्य -1 या 0 असाइन कर सकते हैं या हम इस पूरे समारोह प्रकार बदल सकते हैं:

getCode :: String -> Maybe Int 

इसके अलावा Maybe रूपों एक Monad, Functor, Applicative, Foldable और हास्केल में अन्य typeclasses का एक समूह। प्रत्येक टाइपक्लास अपनी मौजूदगी/अनुपस्थिति का सम्मान करते समय प्रश्न में मूल्य में हेरफेर करने के लिए अतिरिक्त क्षमताओं को जोड़ता है।

Product/Sum हास्केल में टाइप जोड़े और Either a b के रूप में दर्शाए जाते हैं। दोबारा - Product या Sum के माध्यम से कुछ परिभाषित करना एक अच्छी तरह से परिभाषित अर्थ Product a b जोड़ता है - दोनों मान मौजूद होना चाहिए, Sum a b - एक मान मौजूद होना चाहिए और मुफ्त में कानूनों का एक समूह जोड़ना चाहिए।