2回答
我正在尝试定义一个实例： newtype Join a = Join { getJoin :: a -> Bool }
instance Monoid (Join目标是，如果列表中的所有函数都为真，则函数foldMap Join应该返回true，如果不是所有函数都为真，则返回false。我了解foldMap，以及Monoid的Sum和Product实例，但除此之外，我对编写Monoid的新型实例<
浏览 22提问于2020-07-20得票数 7
1回答
我正在努力学习haskell和阅读这本书。在这本书中，作者提到了更大的类型如下：instance (Monoid a, Monoid b) => Monoid (a,b)
instance (Monoid a, Monoid b, Monoid c) => Monoid (a, b,
浏览 2提问于2017-06-26得票数 1
回答已采纳
这个问题最初是在我开发动态JS类型验证器时出现的，该验证器依赖于字典传递样式作为相当简单的类型类机制，但我认为它也适用于Haskell或其他具有类型类机制的语言。一开始，我认为在使用字典传递样式的设置中允许每个类型有几个类型类实例不是太大的问题，因为我可以完全控制类型类的解析。但实际的
浏览 15提问于2021-07-08得票数 5
让我们看看在Haskell中用于处理反向列表的新数据类型的声明：data RevList a = Nil | RCons (RevList a) a deriving(Eq, Show)
mempty = Nil
instance Semigroup a =><> RNil = RCo
浏览 8提问于2020-01-01得票数 3
1回答
在"“的帮助下，我正在学习Haskell。我正在学习一个BST (二进制搜索树)的例子，它是Foldable的一个实例。我实现了自己的数据类型：instanceNum a => Monoid (OnlySum a) where
浏览 1提问于2014-10-14得票数 1
回答已采纳
从问题中分离出来。从直觉上讲，我已经理解了sequenceA在这个用例中所做的事情，但不理解是如何/为什么那样工作的。因此，这一切归结为这样一个问题:在下面的情况下，sequenceA是如何工作的？Traversable t, Applicative f) => t (f a) -> f (t a)
所以在上面的usecase中，Traversable是[]，而Applicative，因为(,)是一个二进制类型的构造函数这是一个列表，最后在结果<e
浏览 3提问于2020-10-02得票数 5
回答已采纳
1回答
还有关于如何在模块和类型类()之间进行转换的其他文章，但这与程序员的实现并没有任何关系(它只是说，没有一个可以做到的事情是另一个不能模仿的)。具体来说，在中
首先，他们坚持认为类型可以完全以一种方式实现类型类。例如，根据类型类的哲学，整数可以精确地以一种方式(通常的排序)排序，但显然有许多顺序(例如，按可分性)。第二个问题是，它们混淆了两个不同的问题:指定<em
浏览 2提问于2016-04-28得票数 27
回答已采纳
我有一个数据结构(它是玫瑰树的一个特定子类，它形成一个具有最大下界和最低上界函数的格)，它支持两个完全合理的函数作为Monoid类的mappend。在haskell中有任何方法支持匿名Monoid实例吗？在这种情况下，我应该考虑使用诸如Template-Haskell之类的东西来为我生成类型类吗？我想要的是一个让我动态创建实例的makeMonoi
浏览 3提问于2015-02-21得票数 3
回答已采纳
1回答
如果您希望附加两个类型的函数(a -> m)，以便在两个结果后面只得到一个相同类型的函数，则可以使用Kleisli这样做： return (r1 <> r2)
但是，目前没有在Control.Arrow中定义这样的实例就像在Haskell一样，我怀
浏览 2提问于2015-10-04得票数 20
回答已采纳
2回答
甚至更广义的新型派生
、、、
当在某些类上下文中使用时，新类型通常用于更改某些类型的行为。例如，可以使用Data.Monoid.All包装器来更改Bool用作Monoid时的行为。我目前正在编写这样一个新类型的包装器，它可以应用于很多不同的类型。包装器应该改变一个特定类实例的行为。但是，添加此包装器通常会更改包装类型的可用性。例如，如果我以
浏览 6提问于2012-10-01得票数 9
3回答
我正在读一篇关于可靠的类型化编程的论文，我读到了以下引语：
“.与Haskell的类型类相比，数据类型.是封闭”，也就是说，如果不扩展数据类型，就不能向宇宙中添加新类型。我的新手问题是:在什么意义上，Haskell类型的类是开放的？它们是如何扩展的？另外，拥有这个属性(开放的
浏览 5提问于2013-04-12得票数 15
回答已采纳
2回答
抱歉，如果我用错了东西的名字。我的问题来自于对比Scala和Haskell语法。A]): A =现在，Int可以是一个带有0和加法的Monoid，也可以是1和乘法，所以我们可以提供两个类型的类，每个实现一个。在Scala中，如果这两个实现都隐含在作用域中并且具有相同的优先级，这将导
浏览 2提问于2014-05-07得票数 4
回答已采纳
2回答
GHC有一些语言标志，如DeriveFunctor、DeriveDataTypeable等，它们允许编译器为Haskell98中允许的类型类以外的类型类生成派生实例。这对于Functor这样的东西尤其有意义，因为该类的规则规定了一个明显的、“自然”的派生实例。da
浏览 2提问于2012-06-23得票数 20
回答已采纳
2回答
这是Haskell中一个单样体的例子：> Sum 5 <> Sum 6 <> Sum 10> mconcat [Sum： ([] ([a b]
(reduce plus-mono
浏览 2提问于2014-03-01得票数 3
回答已采纳
作者定义了二叉树数据类型，并展示了如何通过实现Data.Foldable函数使其成为可折叠类型(在foldMap中定义)的实例：import qualified：因此，它需要一个函数，该函数接受一个类型为"a“的实例，并返回一个单核函数)
浏览 0提问于2011-09-08得票数 8
回答已采纳
3回答
在Haskell中，我们可以使用类似于超类约束的实例声明。我将给出一个使用Semigroup和Monoid的例子。以下是Semigroup的简化定义 (<>) :: a -> a -> aclass(<>)class <
浏览 2提问于2022-06-08得票数 6
回答已采纳
在Haskell中，我想让一个Writer monad成为一个monoid的实例： ((s,s'), Sum m) = runWriter w1因此，直观地说，如果Writer monad的"data“类型是<e
浏览 17提问于2016-08-01得票数 1
回答已采纳
2回答
我正在尝试这个(为了学习目的)： mempty = id期望id <> id等于id . idNon type-variable argument in the constraint: Monoid这只是为了更好地理解单字和Haskell打字机，而不是为了任何实际的用途
浏览 1提问于2016-06-18得票数 3
回答已采纳
1回答
在罗尔夫·辛兹的“‘”中，定义了列表类型的定义，它是基于忘记函子的右坎扩张而从单子范畴中得到的(第7.4节)。本文给出了Haskell的实现如下： apply :: forall z .(Monoid z) => (a -> z) -> z我能够定义通常的零和反构造函数：nil = Abstr (\f -> memp
浏览 2提问于2014-12-09得票数 14
回答已采纳
云服务器
ICP备案
对象存储
实时音视频
云直播
腾讯云开发者
