«category-theory» etiketlenmiş sorular

Aşağıdakileri ilk kim söyledi? Bir monad, endofunktörler kategorisinde sadece bir monoid, sorun nedir? Ve daha az önemli bir notta, bu doğru mu ve eğer öyleyse bir açıklama yapabilir misiniz (umarım çok fazla Haskell deneyimi olmayan biri tarafından anlaşılabilir)?

723 haskell  monads  category-theory  monoids 

Fonksiyonel programlama ve PLT çevrelerinde, özellikle tartışmalar nesneler, komonadlar, lensler ve benzerleriyle ilgili olduğunda, "kömürgebralar" terimini birkaç kez duydum. Bu terimi araştırmak, bu yapıların benim için neredeyse anlaşılmaz olan matematiksel açıklamasını veren sayfalar veriyor. Herhangi biri kömür bağlamında programlama bağlamında ne anlama geldiğini, önemlerinin ne olduğunu ve nesnelerle komonadlarla nasıl …

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

Evet, bunlar : {-#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 

Devlet monad Ürün (Sol - Functor) ve Okuyucu (Sağ Temsil Edilebilir) içine çarpanlarına ayrılabilir. Devam Monad'ı çarpanlarına ayırmanın bir yolu var mı? Kod aşağıda benim girişim, hangi tip kontrol alışkanlık -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type (<-:) o …

11 haskell  monads  continuations  category-theory  comonad 

ApplicativeTypeclass temsil gevşek monoidal fanktorlar o yazdığınız fonksiyonları kategorisine kartezyen monoidal yapısını korumak. Başka bir deyişle, (,)monoidal bir yapı oluşturan tanık kanonik izomorfizmlere bakıldığında : -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), c) …

9 haskell  functor  applicative  category-theory