在绑定方面，如何定义应用？
问题描述在Haskell中，应用程序被认为比函数器更强，这意味着我们可以使用应用程序Like来定义函数器--Functorfmap::(a->b)->fa->fbfmapffa=puref<*>fa和Monad被认为比Applicative&；Functor更强，这意味着。
发布：2022-10-16 标签：monadshaskellapplicativefunctor
函数monad真的提供了比函数应用函数更多的东西吗？如果是这样的话，是什么？
问题描述对于函数monad，我发现(<*>)和(>>=)/(=<<)有两个非常相似的类型。特别是，(=<<)使相似性更加明显：(<*>)::(r->a->b)->(r->a)->(r->b)(=<<)::(a->r->b)->(r->a)->(r->b)就像(<*>)和(>>=)
发布：2022-10-16 标签：functional-programmingmonadshaskellapplicativecombinatory-logic
为什么验证会违反单一律？
问题描述onSO解释了为什么像scalaz、cat(Scala)或Arrow(Kotlin)这样的验证不能是Monad。据我所知，这是因为他们根据应用函数器对Monad进行了建模，并且将验证的期望行为作为应用(集合所有无效)与将验证作为Monad的期望行为(序列验证和在第一个无效
发布：2022-10-16 标签：monadsapplicativescalazscala-catsarrow-kt
阅读器单体可以做什么是应用程序功能不能做的？
问题描述阅读http://learnyouahaskell.com/functors-applicative-functors-and-monoids#applicative-functors后，我可以提供一个将函数用作应用函数器的示例：假设res是一个有4个参数的函数，而fa、
发布：2022-10-16 标签：monadshaskellapplicativereader-monad
Monad定义中的样板代码
问题描述由于Functor-Applicative-MonadProposal，Monad是应用类的子类，而应用类又是函数子类。从数学上讲，这似乎是一个明智的选择，我对此没有任何问题。然而，令我恼火的是，即使fmap和pure和<*>的相应定律无论如何都是由单子定律固定的，也需要
发布：2022-10-16 标签：monadshaskellapplicativefunctor
关于应用，而不是“组合"，真正的应用有多少?
问题描述对于不确定性传播近似类型，我想通过Monad获得Functor的实例.然而，这不起作用，因为我需要包含类型的向量空间结构，所以它实际上必须是类的受限版本.因为似乎仍然没有这些标准库(或者有吗?请指点我.有rmonad，但它使用*而不是Constraint作为上下文类型，这
发布：2022-10-16 标签：type-constraintshaskellapplicativecategory-theory
Applicative/Monad 实例在多大程度上是唯一确定的?
问题描述如这个问题/答案所述，Functor实例是唯一确定的(如果它们存在).Asdescribedthisquestion/answers,Functorinstancesareuniquelydetermined,iftheyexists.对于列表，有两个众所周知的Appli
发布：2022-10-16 标签：monadshaskellapplicativefunctorcategory-theory
“有效"到底是什么?意思是
问题描述我一次又一次地读到有效这个词，但我仍然无法清楚地定义它的含义.我假设正确的上下文是有效的计算，但我也看到了术语有效的值)我曾经认为有效意味着有副作用.但是在Haskell中没有副作用(除了某种程度上的IO).仍然到处都是有效的计算.然后我读到monad用于创建有效的计算.
发布：2022-10-16 标签：monadshaskellapplicativeside-effects
什么是范畴论 POV 中的 Applicative Functor 定义?
问题描述我能够通过以下方式将Functor的定义从范畴论映射到Haskell的定义:由于Hask的对象是类型，因此函子FIwasabletomapFunctor'sdefinitionfromcategorytheorytoHaskell'sdefinitioninthefoll
发布：2022-10-16 标签：haskellapplicativecategory-theory
Haskell 中的替代 ZipList 实例?
问题描述ZipList带有一个Functor和一个Applicative实例(Control.Applicative)但为什么不Alternative?没有好的实例吗?下面推荐的那个呢?它有缺陷吗?没用吗?是否有其他合理的可能性(比如Bool可以在两种方式中成为幺半群)，因此它们
发布：2022-10-16 标签：listhaskellapplicativetypeclassalternative-functor