Questions tagged «monad»

3
在共母和函子之间是否存在类似共同应用函子的概念?
任何monad也是可应用的函子,任何可应用的函子都是函子。另外,任何comonad都是函子。在共模函子和函子之间是否有类似的概念,例如共应用函子,它的特性是什么? \begin{array}{c} \end{array} 函子↑适用函子↑单音函子↑???↑科莫纳兹函子函子↑↑适用函子???↑↑单音科莫纳兹\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative functors} & & ??? \\ \uparrow & & \uparrow \\ \mbox{Monads} & & \mbox{Comonads} \\ \end{array} 更新:我也对这种概念的可能用途感兴趣。

2
范畴论和单子论在理论计算机科学研究中的现状?
背景。我是一名本科生,对与类别理论,monads和Haskell有关的研究感兴趣,并且我想为该领域的本科论文找到一个主题。 我看了看报纸 Eugenio Moggi,“ 计算和单子的概念 ”,1991年, 而且我还不太了解。我可能需要一些时间才能完全理解它。但是在花更多的时间研究它之前,我想更好地了解该领域及其研究潜力。我最近与我的一位教授讨论了这一问题,他告诉我,单子电池在90年代的研究界就很流行,但如今它们已经过时了。 因此,我现在正在寻找与monad有关的最新作品,并且想知道: 如今,在理论计算机科学的哪些领域中完成了与类别理论和单子论有关的研究? 关于E. Moggi在程序设计理论上对单子的研究,已经建立或提出了什么样的研究?是否有与他的论文相关的后续研究或正在进行的研究?

2
二进制函数的连续传递变换
回想一下延续通过变换(CPS变换)这需要到β 甲:= - [R [R 阿(其中[R是固定的)和˚F :甲→ 乙至β ˚F :β 甲→ β 乙通过定义 β一种AAβA := R[R一种βA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}[RRRF:A → Bf:A→Bf : A \to BβF:βA → β乙βf:βA→βB\beta f : \beta A \to \beta B 事实上我们有延续单子与单元 η 甲:甲→交通β 阿通过定义 η 甲 X := λ [R 。[RβFκ[R := κ (ř ∘ ˚F)。βfκr:=κ(r∘f).\beta …

2
Alternative,MonadPlus(LeftCatch)和MonadPlus(LeftDistributive)之间有什么关系?
跟进什么是替代而不是MonadPlus的Monad示例?: 假设是单子。什么是关系betweem 米是一个另类,一个MonadPlusCatch和MonadPlusDistr?mmmmmm对于六种可能的组合中的每一种,我都希望有一个证据表明一个隐含着另一个,或者有一个反例却没有。 (我在用着 MonadPlusCatch用来区分满足Left-Catch规则的MonadPlus: mplus (return a) b = return a MonadPlusDistr区分MonadPlus是satifies 左分配规则: mplus a b >>= k = mplus (a >>= k) (b >>= k) 请参阅HaskellWiki上的MonadPlus。) 我目前的知识和直觉是: MonadPlusDist 替代 - 可能是正确的 - 似乎很简单,我相信我有一个证明的草图,我将对其进行检查,如果它是正确的,我会将其张贴在 AndrewC回答的这一部分。→→\rightarrow →→\rightarrow Maybe →→\rightarrow MaybeT (Either e)MaybeT m' ((pure x) <|> g) <*> a = …
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.