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

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

209 haskell  monads  functor  applicative 

আবেদনকারীরা রচনা করুন, মনদেহগুলি না। উপরের বিবৃতিটির অর্থ কী? এবং কখন একজনের চেয়ে অপরটি পছন্দযোগ্য?

110 haskell  functional-programming  monads  monad-transformers  applicative 

মান-গ্রন্থাগার 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 

আমি হাস্কেলের অ্যাপ্লিকেশনস শিখছি। আমার কাছে মনে হচ্ছে (আমি সম্ভবত ভুল) pureফাংশনটি সত্যই প্রয়োজন হয় না, উদাহরণস্বরূপ: pure (+) <*> [1,2,3] <*> [3,4,5] হিসাবে লেখা যেতে পারে (+) <$> [1,2,3] <*> [3,4,5] pureফাংশনটি সুস্পষ্ট ম্যাপিংয়ের মাধ্যমে যে সুবিধাটি সরবরাহ করে তা কেউ ব্যাখ্যা করতে পারেন fmap?

19 haskell  applicative 

ApplicativeTypeclass প্রতিনিধিত্ব করে শিথিল monoidal functors যে টাইপ করা ফাংশন শ্রেণীতে কার্টিজিয়ান monoidal গঠন সংরক্ষণ। অন্য কথায়, ক্যানোনিকাল আইসোমর্ফিজমগুলি দেওয়া সাক্ষ্য দেয় যা (,)একটি একঘেয়ে কাঠামো গঠন করে: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> …

9 haskell  functor  applicative  category-theory