higher-kinded-types पर टैग किए गए जवाब

आप वेब पर निम्नलिखित पा सकते हैं: उच्च प्रकार का टाइप == टाइप कंस्ट्रक्टर? class AClass[T]{...} // For example, class List[T] कुछ कहते हैं कि यह एक उच्च प्रकार का प्रकार है, क्योंकि यह उन प्रकारों पर अमूर्त है जो परिभाषा के अनुरूप होंगे। उच्च प्रकार के प्रकार वे प्रकार …

275 generics  scala  types  constructor  higher-kinded-types 

मैं थोड़ी देर के लिए एफ # में देव कर रहा हूं और मुझे यह पसंद है। हालाँकि, मुझे पता है कि F # में मौजूद एक buzzword उच्च-प्रकार के प्रकार नहीं है। मैंने उच्च-स्तरीय प्रकारों पर सामग्री पढ़ी है, और मुझे लगता है कि मैं उनकी परिभाषा को समझता …

88 scala  haskell  types  f#  higher-kinded-types 

का कार्यान्वयन std::mem::dropनिम्नलिखित होने के लिए प्रलेखित है: pub fn drop<T>(_x: T) { } जैसे, मैं दोनों दिशाओं में संभावित 1: 1 प्रतिस्थापन के लिए क्लोजर |_| ()( टॉयलेट क्लोजर के रूप में जाना जाता है ) को बंद करने की उम्मीद करूंगा drop। हालांकि, नीचे दिए गए कोड से …

13 rust  closures  traits  type-inference  higher-kinded-types