0回答
下面是来自编写良好的的内容import shapeless._
case object JsonNull extends JsonValuetrait JsonEncoder[A] {
def en
浏览 0提问于2017-01-09得票数 2
1回答
我正在尝试至少在Scala2.13中模拟联合类型的某些方面。 到目前为止，满足我需求的最好的方法是shapless的coproduct。唯一的问题是子类型没有像我预期的那样工作。+: CNil
implicitly[ISBSub <:< ISB] // error here 我正在尝试创建一个带有类型为ISB的</e
浏览 14提问于2019-09-21得票数 6
回答已采纳
2回答
Languages") :: ("price" ->> "bar") ::我希望找到映射到"foo" (在本例中为"id")的字段键，并检索该字段键，其类型为4个单例字符串的余积。
浏览 0提问于2016-04-30得票数 3
2回答
我试图为一个同余随机数生成器类创建一个合理的类层次结构(这意味着它有3个整数参数- M，a，b)。我决定基类应该为派生类提供一个接口(所以它应该是抽象的)，而M，a，b应该是派生类中的静态const (因为它们在派生类中是相同的)。由于generate()函数对于所有同余随机数生成器都是相同的，因此它的
浏览 3提问于2012-10-21得票数 1
回答已采纳
我可以很容易地为一个密封的case类家族派生一个编解码器，如下所示：import io.circe.generic.auto._
val decoded = Decoder[Base].apply(encoded.hcursor)}
但是，如果我将类型成员添加到基类中，我就不能再这样做了，即使它是由密封的特征绑定<
浏览 0提问于2016-04-25得票数 8
我可以构造一个使用语法实现可读性def or[G[_]](g: G ~> H): λ[A => F[A] :+to the definition of Coproduct }这是可行的，虽然我开放的建议，因为它看起来不漂亮。> F[A] :+: G[A] :+: CN
浏览 3提问于2015-09-27得票数 3
回答已采纳
我正在考虑学习Haskell来做一些具体的工作。我想做单面产品：f * g : A * C -> B * D
这在Haskell中很容易实现吗？如果是这样的话，你能举一个简单的例子吗？
浏览 1提问于2018-05-20得票数 1
回答已采纳
1回答
我正在开发一个计算器，它必须能够处理不同类型的数据(甚至最终不能处理数学数据)，但我仍然停留在Complex number类的实现中。以下是我想要达到的目标：
我为什么要这样创造它呢？ALL向量空间的唯一共同特征是它们允许两个运算:具有相同空间类型的和运算和点积
浏览 0提问于2018-08-11得票数 0
2回答
给出了来自Functor和Coproduct的fp课程的以下定义：
类函子f (<$>) :：(a -> b) -> f a -> f b类函子f =>应用f其中纯:a -> f a (<*>)：f (a -> b) -> f a -> f b类函子=>遍历t，其中遍历:：应用型f => (a -> f b) -> t a -> f((t，b)数据余积f_a= InL
浏览 0提问于2019-02-19得票数 2
回答已采纳
在下面的人工示例中，如果我对基类进行static_cast，当我调用setSnapshot()函数时，它仍然调用实际的对象setSnapshot()。这就是我想要的。我的问题是，我能一直依靠这个来工作吗？
在我正在处理的代码中，我们有这个类层次结构，在b类中使用了一些宏，这些宏将静态转换为b类型。这是从一个基类型向下转换，以便可以调用b中的专门函数。
浏览 2提问于2014-06-11得票数 0
回答已采纳
2回答
我可以将模式匹配用于无形状的联产品吗？ case first :: Nil => first case string: String => string.toInt这当然是行不通的，有没有其他方法可以使用联产品并保持模式匹配的能力？
浏览 3提问于2015-12-06得票数 15
return is composition: a -> ((),a) -> (m,a)()的对偶是空的(空型)，乘积的对偶是余积。每个类型e都可以被赋予"comonoid“结构：join :: Either e e -> e
以显而易见的方式。箭头遵循完全相同的模
浏览 0提问于2010-04-22得票数 5
回答已采纳
我正试着把我的头放在F-代数上，做得很好。我理解范畴中对偶的概念，但我很难理解F-余代数(F-代数的对偶)与Haskell中的惰性数据结构的关系。作为F-代数的对偶，F-余代数的对应函数是-> F_ a，说F-余代数可以用来建立无限的、懒惰的数据结构。一个函子的-> F如何允许一个人创建无限的、懒惰的数据结构？同时，
浏览 2提问于2014-07-21得票数 10
回答已采纳
1回答
在阅读Bartosz的优秀时，我陷入了第二次练习，该练习涉及posets中的产品。给了一个偏序集， ↗ ⤭ ↘ ↘ ⤭ ↗我如何定义一个产品的分类意义上？什么是按两个对象的乘积分类的？
浏览 6提问于2016-07-30得票数 17
回答已采纳
1回答
type Event = A :+: B :+: CNil
"id" : "id", { "fieldOne": 1,
浏览 13提问于2019-04-11得票数 4
在scala中有一个Either，它允许一个变量有两种类型的值。val x: Either[String, Int] = Left("apple")
但是，我希望变量x有两种以上的类型，例如{String, Int, Double, List[String] }。
浏览 0提问于2017-04-19得票数 9
回答已采纳
如果我正确理解，我们可以将归纳数据类型建模为初始F-代数，将共归纳数据类型建模为最终F-余代数(对于适当的内切函数F) []。我知道，根据Lambek引理，初始代数(和最终余代数)是同构T ≅ F T的不动点解，但我不明白为什么初始代数是最小不动点，而最终余代数是最大不动点。(显然，同构T ≅ F T有一个解决方案吗？)另外，我不太清楚归纳和共归纳数据类型是如何在类型理论中定义的。是否有任何关于这个主题的</
浏览 0提问于2018-08-22得票数 7
1回答
类似类型化类的设计
、、、
我正在设计类来表示几何对象，比如向量。我需要定义加法、标量乘法、点积等方法。矢量坐标可以是不同大小的整数或实数，因此需要复制与这些不同类型对应的类。
例如。我想避免/最小化代码重复，所以使用模板似乎是一种自然的方法。无论如何，我希望我的类以普通类的形式出现，而不是模板化的类(一种选择是从模板化的类派生
浏览 7提问于2019-04-25得票数 1
假设我有一个用于矩阵的CRTP模板类。class MatrixBase{ //...public: // ...如何在MatrixBase::some_function(const Derived &other)中检查派生类类型以在两个派生类中使用此基函数
浏览 1提问于2020-08-22得票数 3
1回答
我正在编写一个解析器，它将解析一种简单的函数玩具语言。我的玩具语言看起来有点像Haskell。either: (int | str) = "hello" // coproduct在解析类型中int -> int -> int是被解析为(i
浏览 4提问于2022-02-10得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
