প্রশ্ন ট্যাগ «typeclass»

আমি জ্যামিতিক বস্তুর জন্য এমন এক শ্রেণির সংজ্ঞা দিতে চাই যা একসাথে ছেদ করা যায়: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies ধারণাটি হ'ল একটি সাধারণ-উদ্দেশ্য ছেদ ফাংশন যা বিভিন্ন ধরণের জিনিসগুলি পরিচালনা করতে …

11 haskell  type-systems  typeclass 

দেখে মনে হচ্ছে যে কোনও বাউন্ডেড উদাহরণটির এনামের বুদ্ধিমান বাস্তবায়ন হওয়া উচিত। আমি ব্যক্তিগতভাবে কাউন্টারেরেক্সাম্পলটি ভাবতে পারি না, যদিও কেউ যদি এমন কোনও রোগ নিয়ে আসে যা রোগগত নয় তবে আমি কেন বুঝতে পারি তা কেন তা নয়। :iদুটি টাইপ ক্লাসে কাজ করা থেকে মনে হয় বর্তমানে স্ট্যান্ডার্ড লাইব্রেরিতে একমাত্র …

9 haskell  typeclass