typeclass 相关问题

这是 Scala 3 中的一个简短示例：输入 Ext[S <: Seq[_]] = S match { case Seq[t] => t } 性状 XX[A, B <: Seq[A]] trait XX1[B <: Seq[_]] extends XX[Ext[B], B] So far it app...

scala typeclass scala-3 higher-kinded-types match-types

回答 2 投票 0

Scala：以值为条件的隐式类型转换

任务是执行从字符串值到 Int 或 BigDecimal 的转换，取决于字符串值的长度。例如，如果 stringValue > 10 => stringValue.toInt，否则 => BigDecimal(

scala pattern-matching typeclass implicit

回答 1 投票 0

是否可以通过中间步骤消除实例歧义？

假设您有一个应用程序配置，其结构已经更改了几次。为了方便用户使用，您希望允许从每个版本自动迁移到...

haskell typeclass proof

回答 3 投票 0

无法以无标记最终方式/使用类型类和实例对我的组件进行编码

（这是How do I conditionally declare an instance背后的具体案例？）在我的小项目中，玩家可以创建/加入/观看游戏会话或列出正在进行的会话。一个非常简单的 Yesod 应用程序

haskell typeclass tagless-final

回答 0 投票 0

如何有条件地声明一个实例？

我怎么说 B 的实例可以为那些 m s 是 A 的实例而对其他 m s 什么都不说： -- A.hs 模块 A 其中 A 类 m -- m :: * -> * -- B.hs，完全被低估了...

scala haskell typeclass

回答 3 投票 0

Haskell：为什么我不能在具有多态返回类型的函数中返回具体类型？

例如，为什么不能定义这样的函数 - 乐趣::一个乐趣= 1 - 或者一些整数::整数一些整数 = 3 乐趣::数字 a => a 乐趣=一些Int 这似乎在 Java 中是可能的 - 类应用程序 ...

haskell polymorphism typeclass

回答 2 投票 0

Shapeless - 如何为 Coproduct 派生 LabelledGeneric

我正在尝试为 Coproduct 生成 LabelledGeneric，以便可以使用它来代替典型的密封特征层次结构。到目前为止，我能够通过明确指定

scala typeclass implicit shapeless generic-derivation

回答 1 投票 0

如何实现 Fractional[Int] 并访问新的算术运算

我正在尝试在 Scala 3 中创建一个 Fractional[Int] 实例，我想将其用于有限域算术。我有一个类，其实例可以用作 Fractional[Int] 实现：类 IntModp...

scala typeclass scala-3 given

回答 0 投票 0

在Haskell中使用一个类型类来实现变量参数模式。

假设我在 Haskell 中有一个惯例，我定义了一系列函数，像这样： data Node = MkNode s0 :: Node -> s -> Node s0 a _ = a s1 :: (s -> a) -> (a -> Node) -> s -& ...

haskell recursion typeclass

回答 1 投票 1

在Haskell中，如何将约束条件附加到一个参数化的新类型上，使它们自动适用于任何使用它的类实例？[重复]

假设我有一个参数类型是这样定义的：newtype FancyComplex a b = FancyComplex (a, b) 我打算永远不将这个newtype用于除数字参数以外的任何其他参数。我的意思是，对于...

haskell constraints typeclass newtype

回答 1 投票 1

typeclass 相关问题

最新问题