हैक भाषा में शीर्ष प्रकार क्या है?

Question

the Hack language टाइप सिस्टम में, क्या "शीर्ष" प्रकार है, जिसे "किसी भी प्रकार" या सार्वभौमिक "ऑब्जेक्ट" प्रकार के रूप में भी जाना जाता है? यही वह प्रकार है जो सभी प्रकार के उप-वर्ग हैं?

The manual mentions "mixed" types, जो समान हो सकता है, लेकिन वास्तव में समझाया नहीं गया है। कुछ जगहों पर प्रकार की घोषणा को छोड़ने की संभावना भी है। हालांकि, यह हर जगह नहीं किया जा सकता है, उदा। अगर मैं शीर्ष प्रकार पर string से कोई फ़ंक्शन घोषित करना चाहता हूं, तो यह स्पष्ट नहीं है कि मैं यह कैसे करता हूं। function (string): mixed?

Answer 1

मैं फेसबुक पर हैक पर काम कर रहा एक इंजीनियर हूं। यह वास्तव में अंतर्दृष्टिपूर्ण और दिलचस्प सवाल है। आप वास्तव में क्या प्राप्त कर रहे हैं, इस पर निर्भर करते हुए, हैक में इसके कुछ अलग-अलग बदलाव हैं।

सबसे पहले, mixed के बारे में बात करते हैं। यह सब कुछ का सुपरटेप है। उदाहरण के लिए, इस typechecks:

<?hh // strict 
function f(): mixed { 
    return 42; 
} 

लेकिन क्योंकि यह सब कुछ के महाप्रकार है, तो आप एक mixed मूल्य के साथ ज्यादा कुछ नहीं कर सकते हैं जब तक आप मामले यह वास्तव में है पर विश्लेषण, is_int, instanceof, आदि यहाँ एक है के माध्यम से आप f() का परिणाम का उपयोग करना होगा कैसे की उदाहरण:

<?hh // strict 
function g(): int { 
    $x = f(); 
    if (is_int($x)) { 
    return $x; 
    } else { 
    return 0; 
    } 
} 

"लापता एनोटेशन" प्रकार ("किसी भी") इस से कुछ अलग है। जबकि mixed सबकुछ का सुपरटेप है, "कोई भी" सब कुछ के साथ को एकीकृत करता है - यह सब कुछ के सुपरटेप और सबटाइप दोनों को एकीकृत करता है। इसका मतलब यह है कि यदि आप एक एनोटेशन छोड़ देते हैं, तो हम आपको बताएंगे कि आप क्या कर रहे हैं और बस इसे पास करने दें। उदाहरण के लिए, लिखा निम्नलिखित कोड typechecks के रूप में:

<?hh 
// No "strict" since we are omitting annotations 
function f2() { 
    return 42; 
} 
function g2(): string { 
    return f2(); 
} 

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

आशा है कि यह चीजों को साफ़ करे - अगर आप स्पष्टीकरण चाहते हैं तो मुझे टिप्पणियों में बताएं और मैं संपादित करूंगा। और यदि आपके पास अन्य प्रश्न हैं जो इस बारे में सख्त स्पष्टीकरण नहीं हैं, तो उन्हें "हैकलांग" टैग करना जारी रखें और हम सुनिश्चित करेंगे कि उन्हें जवाब मिलेगा!

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