প্রশ্ন ট্যাগ «category-theory»

নিচের কথাটি প্রথম কে বলেছে? একটি মোনাড হ'ল এন্ডোফান্টেক্টরগুলির ক্যাটাগরিতে কেবল একটি মনোড, সমস্যা কী? এবং একটি কম গুরুত্বপূর্ণ নোটের উপর, এটি কি সত্য এবং যদি আপনি কোনও ব্যাখ্যা দিতে পারতেন (আশা করি এমন একটি যা বুঝতে পারে যে যার সাথে বেশি হাস্কেলের অভিজ্ঞতা নেই)?

722 haskell  monads  category-theory  monoids 

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

339 scala  haskell  functional-programming  category-theory  recursion-schemes 

হ্যাঁ, এইগুলি : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism :: Functor f => Algebra f b -> GAlgebra f (ZygoT (Cofree f) b) a -> (f :~> f) -> FixF f -> a zygohistomorphic_prepromorphism f = g_prepro …

156 haskell  functional-programming  category-theory 

যেমন রাজ্য মনাদকে পণ্য (বাম - ফান্টেক্টর) এবং পাঠক (ডান - প্রতিনিধিত্বযোগ্য) হিসাবে চিহ্নিত করা যায়। কন্টিনিয়েনশন মোনাডকে ফ্যাক্ট্রি করার কোনও উপায় আছে? কোডের নীচে আমার চেষ্টা, যা চেক পছন্দ করে না -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type …

11 haskell  monads  continuations  category-theory  comonad 

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