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

আমি হাস্কেল শিখার সময় আমি এর ধরণের শ্রেণিটি লক্ষ্য করেছি , যা হাস্কেল থেকে উদ্ভূত একটি দুর্দান্ত আবিষ্কার বলে মনে করা হচ্ছে। তবে টাইপ শ্রেণিতে উইকিপিডিয়া পৃষ্ঠায় : প্রোগ্রামার ফাংশন বা ধ্রুবক নামের একটি সেট নির্দিষ্ট করে নির্দিষ্ট প্রকারের সাথে তাদের নিজ নিজ প্রকারের দ্বারা নির্দিষ্ট করে, যা অবশ্যই শ্রেণীর …

112 java  haskell  interface  typeclass 

হাস্কেলের কমোনাড টাইপক্লাস কী? থেকে Comonad মতই comonad প্যাকেজের মধ্যে Control.Comonad (যে কোন অন্যান্য প্যাকেজের প্রদান একটি Comonad typeclass রয়েছে ব্যাখ্যা স্বাগত জানাই)। আমি কমোনাড সম্পর্কে অস্পষ্টভাবে শুনেছি, তবে আমি এটি সম্পর্কে যা জানি তা হ'ল এটি মোনাডের extract :: w a -> aসমান্তরাল এক ধরণের সরবরাহ করে return :: …

105 haskell  typeclass  comonad 

হাস্কেলের বীজগণিত ডেটা টাইপ (এডিটি)সেগুলি থেকে প্রাপ্ত হয়ে স্বয়ংক্রিয়ভাবে কিছু টাইপক্ল্যাসগুলির (যেমনShow,Eq)উদাহরণ হয়ে উঠতেপারে। data Maybe a = Nothing | Just a deriving (Eq, Ord) আমার প্রশ্ন, এই derivingকাজটি কীভাবে হয় , যেমন হাস্কেল কীভাবে জানতে পারে যে ডারাইটিং এডিটি-র জন্য প্রাপ্ত ডাইরেক্ট টাইপক্লাসের কাজগুলি কীভাবে বাস্তবায়ন করতে হয়? এছাড়াও, …

104 haskell  typeclass  derived-types  derived-instances  deriving 

প্রদত্ত : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo আমি Stringএকটি উদাহরণ তৈরি করতে চাই Fooable: instance Fooable String where toFoo = FooString জিএইচসি তারপরে অভিযোগ করেছেন: Illegal instance declaration for `Fooable String' (All …

85 haskell  ghc  typeclass  type-systems 

মান-গ্রন্থাগার Haskell, typeclasses MonadPlus, Alternativeএবং Monoidপ্রতিটি মূলত একই শব্দার্থবিদ্যা সঙ্গে দুটি পদ্ধতি প্রদান: একটি খালি মান: mzero, empty, অথবা mempty। একটি অপারেটর a -> a -> aএকসঙ্গে typeclass মান যোগদান করে: mplus, <|>, অথবা mappend। তিনটিই এই আইনগুলিকে নির্দিষ্ট করে যেখানে উদাহরণগুলি মেনে চলতে হবে: mempty `mappend` x = x …

85 haskell  functional-programming  typeclass  applicative  monoids 

পরিমাণযুক্ত বাধা দিয়ে আমি কি Eq (A f)ঠিক জরিমানা অর্জন করতে পারি ? যাইহোক, আমি যখন অর্ড (এফ) প্রাপ্ত করার চেষ্টা করি তখন এটি ব্যর্থ হয়। যখন সীমাবদ্ধ শ্রেণিতে একটি সুপারক্লাস থাকে তখন কী পরিমাণে সীমাবদ্ধতা ব্যবহার করতে হয় তা আমি বুঝতে পারি না। আমি কীভাবে উত্পন্ন করব Ord (A …

10 haskell  typeclass  derived-class  quantified-constraints 

কনটেন্টেশন সম্পর্কে একটি দুর্দান্ত সত্য ঘটনাটি হ'ল যদি আমি সমীকরণের কোনও দুটি ভেরিয়েবল জানি: a ++ b = c তখন আমি তৃতীয়টি জানি। আমি এই ধারণাটি আমার নিজস্ব উপসংগে ক্যাপচার করতে চাই তাই আমি কার্যকরী নির্ভরতা ব্যবহার করি। {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} …

10 haskell  typeclass  functional-dependencies  type-level-computation 

আমার কাছে এই (স্বীকারোচিতভাবে অদ্ভুত) কোড রয়েছে যা লেন্স এবং জিএইচসি.রেকর্ডগুলি ব্যবহার করে : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- …

9 haskell  typeclass  typechecking 

সমস্যা হাস্কেলের নিম্নলিখিত নকশা সমস্যা বিবেচনা করুন। আমার একটি সাধারণ, প্রতীকী ইডিএসএল রয়েছে যাতে আমি ভেরিয়েবল এবং সাধারণ এক্সপ্রেশন (মাল্টিভারিয়েট পলিনোমিয়ালস) যেমন প্রকাশ করতে চাই x^2 * y + 2*z + 1। তদ্ব্যতীত, আমি অভিব্যক্তিগুলির উপর কিছু প্রতীকী সমীকরণ প্রকাশ করতে চাই, বলতে চাই x^2 + 1 = 1, পাশাপাশি …

9 haskell  casting  type-conversion  ghc  typeclass