Haskell中的类型类是支持ad hoc多态的语言机制。它们也存在于Scala，Coq和Isabelle中。
当尝试使用 Shapeless 将 Map 转换为 scala 对象时，编译器不会拾取余积导数
我正在尝试将 Map[String, AttributeValue] 转换为 Scala 对象。 AttributeValue 表示 DynamoDB 中的数据。下面存根中的 FromAttributeValue 用于转换基本情况 以下是鳕鱼...
为了探索具有复杂类型和类型类实例的库，我想从 REPL 检查类型类约束是否满足（提供所有相关实例...
我为 Scanamo 制作了一个通用的 DynamoFormat，它将任何定义了 Circe 编码器和解码器的对象作为 Json 字符串放入数据库中。 导入 com.gu.scanamo.DynamoFormat 导入 io.circe....
我错误地将长度应用于（pa，ir）并花了一点时间才找到答案，因为代码可以编译！ 于是我查了一下 :t length，它告诉我它的参数只需要是一个 Fold...
如果我显式启用 DerivingStrategies，Cabal 与 GHC 不同，为什么不会自动启用 GeneralizedNewtypeDeriving？
（第一次玩这些东西。） 从文档中我倾向于认为，如果我启用 DerivingStrategies 扩展，我不需要启用 GeneralizedNewtypeDeriving 或
Scala avro4s，为共同特征定义 SchemaFor？
我正在尝试为一个共同特征定义 avro4s 模式派生。例子 特质事件 case class UserCreated(name: String,age: Int) 扩展 Event 案例类 UserDeleted(原因: String) 扩展...
冻结的包类返回 - “类型‘Null’不是类型转换中类型‘String’的子类型”
我是 Dart 和 OOP 的新手。我正在使用冻结的包来创建我的模型类。我无法在我的函数中得到返回的响应，总是去 catch(error) 这是我的代码 静态未来<
我想使用该存储库中的 cats-saga：https://github.com/VladKopanev/cats-saga 然而我被困在 OrderSagaCoordinator.scala L160 的那段代码上： def apply[F[_]: 同步:
def f(x, y)： 返回 x & 1 == 0 且 y > 0 g = lambda x, y：x & 1 == 0 且 y > 0 现在 Haskell 中也有同样的事情： 导入数据位 f :: Int -> Int -> Bool f x y = (.&.) x...
我有一个类型类 A ，它具有非单射关联类型 Context A 类 a 其中 类型上下文 a A 的许多实例可以具有相同的上下文。 A 的某些实例也是 ...
为什么 Data.Dynamic 包含见证而不是类型类约束？
Data.Dynamic 有以下实现： 数据动态在哪里 动态 :: TypeRep a -> a -> 动态 我发现以下定义是等效的（至少我......
我遇到的问题是，当我尝试在联合上定义类型类时，我会遇到无限递归。 特征 Foo[A]： 扩展名（一：A） def bar: 字符串 现在假设我有以下 gi...
#包括 使用命名空间 std； 模板 ISignalFilter 类； 模板 产品过滤器类； 模板 类 ISignalFilter {...
我已经为有理数实现了归一化函数 normaliseRat :: Rat -> Rat，以便所有 Rat 2 4、Rat (-1) (-2) 和 Rat 1 2 都转换为相同的内部表示。
我最近一直在通过 Singletons 库在 Haskell 中尝试依赖类型。为了获得更好的理解，我一直在尝试自己的各种类型的实现，而没有......
我正在处理一些分层数据，这里是一个人为的示例： 数据项a = 叶a |列表项目 [项目 a] | DoubleItem（项目a）（项目a） | TripleItem (项目 a) (项目 a) (项目 a) ...
我正在尝试为具有函数属性的记录对象实现函子，如下所示： 数据函数 a = 功能 { , funcApply :: FData -> [Exp a] -> 或者 (
我现在正在一个项目上使用 PureScript，并遇到了一些实例（我是新手，正在学习）。基本上我必须创建一个实例才能用不同的函数重载......
我正在尝试执行以下操作，但在编译此源代码时不断遇到解析错误： 实例 FromRow 作业，其中 {-# 已弃用 fromRow “请不要依赖 From...