1回答
在scala中要求半群是可结合的
、、、、
半组必须是结合性的，但我可以像这样定义Semigroup： def op(t1:T, t2:T) : T我能够实现非关联的plus，但是这个类仍然是一个Semigroup。是否有针对这种情况的保障措施，或者用户是否希望依靠测试来防止这种情况？
浏览 12提问于2020-02-28得票数 0
5回答
在scala中，我如何定义两个选项参数的加法？具体来说，假设它们是Int类型的包装器(我实际上使用的是双精度映射，但这个示例更简单)。case None => 0 case Some(y) => y.get }编辑后添加：
在我的实际问题中，我添加了两个map，这两个map是
浏览 0提问于2012-05-16得票数 7
回答已采纳
我特别尝试定义半群和一个“是”半群的和类型，并用ScalaCheck一般地检验半群的结合性质。因此，在Haskell中，我编写了在GHCi中工作的以下内容：
instance Num a => Num (Sum) == ((x <&
浏览 3提问于2016-04-19得票数 1
回答已采纳
实际上，我正在学习一些理论概念，作为我的业余爱好，以加深我对函数式编程的理解，并提出一些问题来验证我是否正确地理解了幺半群是什么。首先，我发现的单半群的定义是，一个幺半群是一个集合，在一个结合的二元运算下是封闭的，并且有一个恒等元。我想这是对的？因此，使用下面的定义，我假设<
浏览 2提问于2018-11-10得票数 5
回答已采纳
3回答
在我看来，Monoid和MonadPlus都提供了具有关联二元操作和标识的类型。(用数学术语来说，我称之为半群。)那么Monoid和MonadPlus之间的区别是什么呢
浏览 6提问于2013-06-12得票数 24
回答已采纳
1回答
我试图在我的应用程序中使用Scalaz 7验证。但是，我在让|@|应用程序函子合并我的失败时遇到了问题。下面是我的代码：我想要完成的是，如果所有字段都是s
浏览 4提问于2013-07-17得票数 6
回答已采纳
4回答
从下面的示例中，我认为正确的说法是，String在级联操作下定义了一个单子，因为它是一个关联的二进制操作，而String恰好有一个标识元素，它是一个空字符串""。scala> ("" + "Jane") + "Doe" == "" + ("Jane" + "Doe")从我最近读到的
浏览 4提问于2016-11-01得票数 2
回答已采纳
我正在尝试将两个Option[Iterable[_]]合并成一个新的Option[Iterable[_]]。如果其中一个(或两个)元素是Some，我想返回Some，否则返回None。似乎应该有一种惯用的方式来做这件事，但我似乎找不到一种。下面的代码似乎做了我想要的，但并不是我所希望的灵巧的解决方案。) case (None, b @ Some(bs)) => b
case _ => None
浏览 0提问于2012-08-06得票数 5
回答已采纳
2回答
我对总计签名有一个要求&引用透明的函数：//requirement is type T under e.g. addition must always对于许多类型(如Int、String、Nat(自然数))，可以很容易地满足这一要求；但是，像NonZeroInt这样的类型也很容易违反，因为两个非零整数的加法实际上可以是零。我的问题是，这种情况是否有一个新的术语？莫尼特出现
浏览 3提问于2017-05-08得票数 0
回答已采纳
4回答
自由的一元常被认为是“列表单子”。然而，我对其他可能的结构感兴趣，这些结构可能会给我们提供自由的单系物。总之，我们要说的是函子。如果某些幺半<
浏览 16提问于2020-09-16得票数 7
回答已采纳
我试图理解在DHKE中每一步都使用一个组的哪些属性。因此，要执行DHKE的两个主要步骤，似乎根本不使用乘法逆属性？
浏览 0提问于2019-01-22得票数 7
回答已采纳
我目前正在学习scala中的范畴理论和结合定律，
("Foo" + "Bar") == ("Bar" + "Foo") // Not commuative
那么说
浏览 1提问于2015-10-05得票数 0
回答已采纳
存在半群和半群alSemigroupal[Option].product(Some-al在什么意义上表达了半群和半群的区别？类似地，也有Monoid和Monoidal的语言；-al在这里是按照相同的思路表达区别的吗？
浏览 3提问于2021-06-11得票数 4
回答已采纳
我有一对Option[Int]，并且希望找到这两个值的最小值，如果它们都存在的话，否则只是其中的一个。假设我有一个函数minOption我想要的是输入到输出的如下映射：(Some(a), None) => Some(a)(None, None) => None
有什么简单<em
浏览 1提问于2013-11-10得票数 2
回答已采纳
2回答
单样同态与同构
、、、、
我正在读“Scala编程”(红色的书)一书。// "Lorem".length + "ipsum".length == ("Lo
浏览 1提问于2019-09-11得票数 5
回答已采纳
5回答
我记得monad是monoid。也就是说，存在一个联合二进制操作*，如果ma和mb是一元值，那么ma * mb也是一个一元值。
如果以上所述是正确的，那么Scala中的Option的二进制操作是什么？例如，*在Some(1) * Some(2)中可以是什么？
浏览 8提问于2014-02-17得票数 2
回答已采纳
5回答
如果它们不是这样的None，我想要连接它们的值：if (!a.isEmpty) str = str + a.get这是非常必要的，而且是javaish。有没有更好的方法可以用Scala做到这一点，同时保持代码的可读性？
谢谢!
浏览 0提问于2014-08-11得票数 2
mappend函数只是关联操作的一个特殊情况，其中两个元素具有相同的类型。为什么没有任何包建议在没有这种条件的情况下实现关联函数？对于多参数类型的类扩展来说，这非常容易：然后，根据实例的实现，它将允许使用字符串连接Int：
"I am "
浏览 14提问于2014-10-03得票数 1
回答已采纳
8回答
当我有一个Option[T]实例时，很容易使用一元操作(如map()和flatMap() )在T上执行任何操作。这样，我就不必检查它是定义的还是空的，并将操作链接在一起，最终得到结果Option[R]的R。
我的困难在于是否有一种类似的优雅的方法来对两个Option[T]实例执行函数。让我们以一个简单的例子为例，其中我有两个类型为x和y的Option[Int]。如果它们都被定义了，我想得到它们的最大值，如果只定义了一个，则得到定义<e
浏览 12提问于2015-11-10得票数 5
回答已采纳
有一段时间我在想，你只需要一个到么半群的映射，然后reduce就会根据么半群的乘法进行缩减。此外
浏览 0提问于2011-12-18得票数 4
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
