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 = …

156 haskell  functional-programming  category-theory 

जैसा कि स्टेट मोनड को प्रोडक्ट (लेफ्ट - फनकार) और रीडर (राइट - रिप्रजेंटेबल) में फैक्टर किया जा सकता है। कंटिन्यूएशन मोनाड को फैक्ट करने का एक तरीका है? नीचे कोड मेरी कोशिश है, जो टाइप चेक नहीं करेगा -- To form a -> (a -> k) -> k {-# …

11 haskell  monads  continuations  category-theory  comonad 

ApplicativeTypeclass का प्रतिनिधित्व करता है ढीला monoidal functors कि आपके द्वारा लिखे गए कार्यों की श्रेणी पर कार्तीय monoidal संरचना की रक्षा। दूसरे शब्दों में, (,)एक सांध्यात्मक संरचना को देखते हुए विहित आइसोमोर्फिम्स दिए गए हैं : -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> …

9 haskell  functor  applicative  category-theory