具有包含函数的数据类型的半群

GHC有一些语言标志，如DeriveFunctor、DeriveDataTypeable等，它们允许编译器为Haskell98中允许的类型类以外的类型类生成派生实例。这对于Functor这样的东西尤其有意义，因为该类的规则规定了一个明显的、“自然”的派生实例。data T = MkT a b c ...我知道包是的，但我特别想问的是，

浏览 2提问于2012-06-23得票数 20

回答已采纳

1回答

如何为这样的数据类型实现任意实例？

、、

我是Haskell的新手，我试图写一个测试用例来证明半群类型的结合律。数据类型定义如下：半群的实施情况如下： (Combine f) <> (Combine g) = Combine (\x -> f

浏览 0提问于2017-10-19得票数 2

回答已采纳

1回答

在Haskell中创建半群数据类型实例

、、

可能与为Haskell中新定义的数据类型创建一个新的半群类型类实例有关的目标(对于那些了解的人，我可以向您推荐第428页，即带有练习扩展的capstone项目5的末尾)。b) (m a) 此数据类型指定类似SQL的查询，其中m定义上下文(Monad或Alternative)，(m a -> m b)是目标类似于SQL函数SELECT的函数，即定义数据库中希望

浏览 2提问于2021-09-15得票数 1

回答已采纳

3回答

单样同态究竟是什么？

、、、、

我从上读过关于单样同态的文章，不能百分之百地理解。他的意思是，由于数据类型String和Int是一元，而函数le

浏览 2提问于2019-05-05得票数 66

回答已采纳

2回答

单样同态与同构

、、、、

我正在读“Scala编程”(红色的书)一书。(从记忆中)引用这本书，如果我错了，请纠正我：当这发生在两个方向时，它被命名为Monoid，这意味着对于单类M, N，<

浏览 1提问于2019-09-11得票数 5

回答已采纳

1回答

在Idris中，Vect n a是一个数据类型，表示一个n长的向量，包含a类型的项。foo : Int -> Vect 4 Int函数的主体并不重要，它可以是任何返回向量4 Ints的内容。Can't resolve type class Monoid (Vect (plus n (plus n (plus n (plus n 0)))) Int) 这意味着Vect n Int不是单半</e

浏览 2提问于2014-10-04得票数 4

回答已采纳

2回答

么半群和函子之间的关系是什么？

、、、

我试图理解函子和么半群之间的关系。它们经常一起被提及，但我一直无法很好地将它们联系起来。我知道，简单地说，在编程中，monoid可以被认为是一种结构或数据类型，具有用于组合结构中的元素的关联append/concat函数，以及标识元素，如果您将标识值与结构中的元素进行交换组合，则它将始终返回相同的元素我还认识到，在编程中，可以将函数器视为具有类似于的映射

浏览 6提问于2019-10-28得票数 1

2回答

Scala中具有函数的半群

、、、、

我正在尝试将Haskell Semigroup转换为Scala。Haskell代码工作正常，但我不能用Scala编写它import Data.Semigroup Combine f <> Combine g = Combine (f <> g) f = Combine $ \n -> Sum (n

浏览 1提问于2018-09-14得票数 0

1回答

有没有一个函数的名字，它接受类型a，并返回一个从a到单位的函数？

something :: a -> (a -> ())如果给定a，它将返回a?的接收器/消费者。关于：somethingElse :: a -> (a -> a)somethingElse基本上是a，a -> a -> a上的组合器或二元运算符，对吗？

浏览 4提问于2019-10-31得票数 0

2回答

如果“列表”是一个单半群，那么它的“集合”是什么？

作者将Monoid定义为：还是我想错了什么？编辑:正如@applicative所指出的，Haskell的列表是名为的单列！

浏览 7提问于2012-10-17得票数 19

回答已采纳

2回答

与半群相比，-al后缀在半群中的表达是什么？

、、

存在半群和半群alSemigroupal[Option].product(Some-al在什么意义上表达了半群和半群的区别？类似地，也有Monoid和Monoidal的语言；-al在这里是按照相同的思路表达区别的吗？

浏览 3提问于2021-06-11得票数 4

回答已采纳

3回答

Monoid vs MonadPlus

、、、、

在我看来，Monoid和MonadPlus都提供了具有关联二元操作和标识的类型。(用数学术语来说，我称之为半群。)那么Monoid和MonadPlus之间的区别是什么呢

浏览 6提问于2013-06-12得票数 24

回答已采纳

1回答

如何/如何将此类型转换为Monoid实例

、、

我有数据类型：并希望通过以下实现将其转换为monoid：tzero = Stuff () 0 注通过mconcat可以获得任意嵌套的元组但是tmappend当前违反了mappend的类型签名。这真的是么半群？是否可以将其转换为

浏览 0提问于2013-05-29得票数 5

回答已采纳

2回答

如果存在合并两个公正值，否则先返回

、

我希望有一种更短的方法来编写这段代码，因为它将在我正在进行的项目中的多个地方使用。是否有一个我可以使用的库，它有一个功能可以满足我的特定需要？

浏览 5提问于2022-08-02得票数 4

2回答

实例Monoid Monad

、

Monad是么半群，但是它是么半群，与Integer的方式不同。我想知道是否有一种方法可以编写Monoid'和Monad'，使Integer和Monad'都可以表示为同一个Monoid'类型类的实例？

浏览 2提问于2013-06-20得票数 10

回答已采纳

4回答

自由幺半群和单模的主要区别是什么？

、、、

看起来我很清楚Haskell中的Monoid是什么，但是上一次我听说了一种叫做自由幺半群的东西。你能在Haskell提供一个例子吗？

浏览 5提问于2019-01-12得票数 15

回答已采纳

1回答

Scalaz验证与应用函数式@x不工作

、、、

我试图在我的应用程序中使用Scalaz 7验证。但是，我在让|@|应用程序函子合并我的失败时遇到了问题。}.flatten[ValidationResult].foldLeft(().successNel[String])(_ |@| _)minValidate和sizeValidate函数只返回我需要给Scala更多的类型信息吗？我想要完成的是，如果所有字段都是successNel，那么返回该字段，否则，返回所有failureNels的组合。自以前版本的Sca

浏览 4提问于2013-07-17得票数 6

回答已采纳

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

具有包含函数的数据类型的半群

相关·内容