作为一名数学系的学生，当我在Haskell中了解到单子时，我做的第一件事就是检查它们是否真的是我所知道的单子。但后来我了解了monad transformers，而这些似乎不是范畴理论中研究的东西。特别是，我希望它们与分配法则相关，但它们似乎真的不同: monad transformer被期望应用于任意monad，而分配法则是monad和特定的其他monad之间的事情。此外，看看<
浏览 1提问于2011-07-28得票数 31
A monad被定义为类别C上的一个内皮函数。例如，C的int和bool类型以及其他构造的类型作为对象。现在让我们考虑一下定义在这个类别上的列表单。一个-> bool到Listint -> Listbool的态射
所以，到目前为止，这是有意义的。但是，让我深感困惑的是需要伴随它的自然转换的附加定义: a.Unit..
浏览 2提问于2011-03-11得票数 5
3回答
我正试图使Monad的绝对定义与我在其他一些教程/书籍中看到的其他一般表示/定义相一致。((a->b)-
浏览 3提问于2013-09-21得票数 7
回答已采纳
在阅读类型类时，我看到函子、应用函子和单子之间的关系是严格增加幂的关系。函子是可以映射的类型。应用函子可以做同样的事情，具有一定的效果。单元化与可能的非限制性效果相同。此外：Every Applicative Fun
浏览 2提问于2011-12-28得票数 35
回答已采纳
1回答
使函子成为应用程序和Monad的超级类的意义是什么？据我所知，应用程序和Monad都立即暗示了遵守法律的函子的唯一实现。相反，我必须每次输入相同的函子实现。有办法避免这样做吗？此外，Monad还意味着唯一遵守法律的应用程序的实现，那么为什么使应用程序成为Monad</
浏览 7提问于2022-01-02得票数 5
回答已采纳
5回答
为什么函数类没有返回函数？
、、、、
从范畴的角度来看，函子是两个映射对(一个在对象之间，另一个在类别的箭头之间)，遵循一些公理。我假设，每个函子实例都类似于数学定义，即可以同时映射对象和函数，但是Haskell的Functor类只有映射函数的函数fmap。每个Monad类型的M都有一个函数return :: a -> M a。
而函子类型F没有函数return :: a -
浏览 7提问于2014-02-08得票数 20
回答已采纳
9回答
以下是我这样做的失败尝试：当我们转向自然转换时，情况会变得更糟。如果我理解正确的话，自然变换是一个二阶函子(具有一定的规则)，也就是从一个函子到另一个函子<
浏览 0提问于2010-12-17得票数 35
1回答
我试图用更实际的方法来理解单子和单子座之间的关系。如果这个问题没有意义的话，我会提前道歉，我还在挣扎。例如，假设我有： def zero: T}trait Monad[+M[_]] { def bind[A, B](m: M[A])(f: A => M[B]): M[B]是否有一种关系可以建立在Monad和Monad特征之间
浏览 0提问于2017-01-09得票数 5
回答已采纳
1回答
单模定义中的样板码
、、、
自以来，Monad是应用程序的子类，反过来又是函子的子类。从数学上讲，这似乎是一个明智的选择，我对此没有任何问题。然而，最让我恼火的是，即使fmap、pure和<*>的相应定律被一元定律所固定，也需要写下函子和应用实例。因此，实际上，为每个只想定义Monad实例的人添加了10行样板代码。
在数学中，
浏览 12提问于2021-12-08得票数 0
回答已采纳
class HasDynFlags m where虽然类型化名称看起来是不言自明的，但我在类型化定义中找不到其他约束，即m必须是Monad，或者至少是Functor，这样我们才能访问该值。但是，我在代码库中发现的大多数代码都是在do-表示法中使用的，例如dynFlag <- getDynFlags，其中m被进一步限制为Monad的一个实例。我
浏览 3提问于2015-07-04得票数 1
回答已采纳
3回答
在Haskell中，应用程序被认为比函子强，这意味着我们可以使用类应用程序来定义函子。-- Functorfmap f fa = pure f <*> fa我读过单子是用来排序的。但是我觉得Monad唯一能做
浏览 8提问于2019-11-10得票数 4
回答已采纳
1回答
在过去的两年里，我有兴趣使用免费的monad来帮助我解决实际的软件工程问题。并利用一些基本范畴理论，提出了我自己的自由单位论的建构。解释器只是将函子(或类型构造函数)转换为实际的monad。在范畴理论中，这只是函子之间的一种自然变换。runFree函数只需要解压它并应用解释器。
总之，在理论层面上。考虑下面的伴
浏览 4提问于2022-03-21得票数 10
我正在阅读，这是那篇文章中的：
单位:X -> M(X)
据我所知，在Haskell中，return等同于unit
浏览 1提问于2017-01-12得票数 3
回答已采纳
2回答
这里有类似的问题，但它们都附在一种特定的编程语言上，我正在寻找一个概念层面的答案。据我所知，每个函子都是函子，但不是每个函子都是单函子。
浏览 3提问于2017-07-22得票数 28
回答已采纳
1回答
在黑客攻击中是否有类似于的类型化，但对于Applicative来说，它允许将IO操作轻松地提升到基于IO的。
如果存在这样的类型，那么的实现会使其过时吗？该提案是否涉及放宽Monad对MonadIO的约束？
浏览 4提问于2014-09-26得票数 10
回答已采纳
1回答
我正在尝试从运行以下组合器 def forever[A, B](a: F[A]): F[B] =flatMap is not a member of type [error] a flatMap (_ => t)我的理解是，我需要使用F[_]，因为它表示更高类型的类型。例如，我在这本书的前一章中写了一个M
浏览 7提问于2014-02-19得票数 1
回答已采纳
1回答
对Monad的深入理解
、、、
单半群由一个集合S，一个运算*和e组成，它解释了单半群定义后的单子是什么。我要确认的第一件事是，集合S的元素是Monad定义中提到的失效函数T:X->X，对吗？那么，在这里，我们可以正确地说，内射是对象，而前面的问题中提到的运算是态射吗？我不太明白"in“(中的一元)是怎么回事.数学上的
浏览 3提问于2022-05-12得票数 2
谁能告诉我map/fmap (由函子定义)和flatMap/bind/lift (由Monad定义)在中的区别吗？前者接受一个函数并返回Monad，后者接受一个函数并返回一个函数，然后该函数也返回Monad。问题是，为什么后者需要采取额外的步骤，以返回Monad？}
// Functor's `fma
浏览 0提问于2015-10-23得票数 2
回答已采纳
6回答
什么是免费的单人间？
、、、
我已经看过“自由Monad”这个词出现在 上一段时间了，但是每个人似乎都在使用/讨论它们，而没有给出它们的解释。那么:什么是免费的单人间？(我想说，我很熟悉monads和Haskell的基本知识，但对范畴理论只有非常粗略的了解。)
浏览 6提问于2012-11-12得票数 414
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
