প্রশ্ন ট্যাগ «higher-kinded-types»

আপনি ওয়েবে নিম্নলিখিত সন্ধান করতে পারেন: উচ্চ ধরণের টাইপ == টাইপ কনস্ট্রাক্টর? class AClass[T]{...} // For example, class List[T] কেউ কেউ বলেন যে এটি একটি উচ্চ ধরণের প্রকারের, কারণ এটি প্রকারের সংক্ষিপ্ত বিবরণ যা সংজ্ঞা অনুসারে মেনে চলবে। উচ্চতর ধরণের প্রকারগুলি হ'ল প্রকার যা অন্য ধরণের হয় এবং একটি নতুন …

275 generics  scala  types  constructor  higher-kinded-types 

আমি কিছুক্ষণের জন্য F # তে ডিভ করে যাচ্ছি এবং আমি এটি পছন্দ করি। তবে আমি জানি যে একটি বাজওয়ার্ড F # তে বিদ্যমান নেই এটি হ'ল ধরণের ধরণের। আমি উচ্চ-ধরণের ধরণের উপাদানগুলি পড়েছি এবং আমি মনে করি যে আমি তাদের সংজ্ঞাটি বুঝি। কেন তারা দরকারী তা আমি নিশ্চিত নই। …

89 scala  haskell  types  f#  higher-kinded-types 

বাস্তবায়ন std::mem::dropনিম্নলিখিত হিসাবে নথিভুক্ত করা হয়: pub fn drop<T>(_x: T) { } এই হিসাবে, আমি আশা করব বন্ধ |_| ()( উভয় দিক থেকে টয়লেট ক্লোজার হিসাবে পরিচিত ) সম্ভাব্য 1: 1 প্রতিস্থাপন হবে drop, উভয় দিকেই। তবে নীচের কোডগুলি দেখায় যে dropফাংশনের প্যারামিটারে আবদ্ধ উচ্চতর র‌্যাঙ্কযুক্ত বৈশিষ্ট্যের সাথে সামঞ্জস্যপূর্ণ নয়, …

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