typeclass

检查范围是否包含 Scala 中的值的通用方法

我想编写一个通用类来保存范围的端点但通用版本会出现编译错误 value gt is not a member of type parameter A final case class MinMax A lt Comparable A mi

scala generics typeclass

Haskell Data.List.Class 和语法

我正在尝试阅读 Haskell 包 Data List Class 的源代码列表 0 4 2 但我对某些语法感到困惑就在开头写道 data ListItem l a Nil Cons headL a tailL l a 我不熟悉第三行

Haskell syntax typeclass

为什么使用 UndecidableInstances 编译此代码，然后生成运行时无限循环？

当使用编写一些代码时UndecidableInstances早些时候我遇到了一些我觉得很奇怪的事情我无意中创建了一些代码当我认为不应该进行类型检查时 LANGUAGE FlexibleInstances LANGUAGE MultiP

Haskell typeclass undecidableinstances

是否有针对部分类型同义词实例的 Haskell (GHC) 扩展？

使用扩展TypeSynonymInstances可以编写这样的实例 instances MyClass String where Using newtype可以声明这样的实例 newtype Kleisli m a b Kleisli a

Haskell typeclass instances

Shapeless 中 TypeClass 特征的 emptyCoproduct 和 coproduct 方法的用途是什么

我并不完全清楚这样做的目的是什么emptyCoProduct and coproduct的方法TypeClass无形中的特质什么时候会使用TypeClass特质而不是ProductTypeClass 这两种方法的实施方式有哪些示例假设我

scala typeclass shapeless typelevelcomputation

Haskell 中将函数与类型关联起来

假设您有一个序列化器反序列化器类型类 class SerDes a where ser a gt ByteString des ByteString gt a 事实证明为每种类型提供一个特殊的辅助函数至关重要a e g compress

Haskell record typeclass

enumFromTo 如何工作？

我无法将号码添加到Char 以下内容将无法编译 a 1 但是 a z 成功创建一个字符串其中每个字符值都会递增有没有一个特殊的函数可以增加Char 我知道我能做到chr ord c 1 如何 a z 或底层enumFromTo函数增加结

Haskell typeclass

如何在 Haskell 中创建异构列表？（最初是Java）

如何将以下 Java 实现转换为 Haskell 这里的主要目的是拥有一个包含作为特定接口的子类型的各种元素的列表我尝试制作下面的 Haskell 版本但未能达到我的目的这里的重点是xs有类型 Bar 而不是Foo a gt a 这是

Haskell typeclass

Haskell - 翻转具有两个参数的类型类的参数

我有一个多参数类型类它提供了一个可以交换其参数的函数 class Swappable a b where swappable a gt b gt Bool So if a and b form Swappable a b then b a

Haskell typeclass

在 Haskell 中为自定义数据类型创建 Read 类型类的实例

我有一个自定义数据类型Foo Foo a Int b Int 我正在尝试使 Foo 成为 read 的自定义实例我已经有一个功能了bar String gt Foo我尝试这样做 instance Read Foo a b where re

Haskell typeclass

如何使用范围内的约束族来证明表达式主体内的实例？

这是后续我之前的问题 https stackoverflow com questions 70075414 how can i derive typeclass instances from constraint families that

Haskell typeclass gadt typefamilies quantifiedconstraints

Show for String的实例是怎么写的？

我有一个关于定义类型类实例的基本问题我使用 Show 类型类作为示例并且只考虑类中的 show 函数像 Bool 这样的具体类型的 Show 实例很简单 instance Show Bool where show x function

Haskell typeclass

类型类实例化中的现有常量（例如构造函数）

考虑这个伊莎贝尔代码 theory Scratch imports Main begin datatype Expr Const nat Plus Expr Expr 实例化是相当合理的plus输入 class 以获得良好的语法Plus构造

typeclass isabelle

在 ghci 下执行 `(read "[Red]") :: [Color]` 时会发生什么？

我正在阅读以下小节现实世界 Haskell 第 6 章类型类 http book realworldhaskell org read using typeclasses html关于一个实例Read for Color 它实现了reads

Haskell typeclass

Haskell：对 Num 类型类的使用感到困惑

我很困惑为什么这有效 f Num a gt a gt a f x x 42 但这并没有 g Num a gt a gt a g x x 4 2 我本来就明白Num包含实现运算符的所有类型因此如果42 is an Int and 4 2

Haskell typeclass

在scala 2.13中，为什么有时无法显式调用类型类？

这是 Shapeless 2 3 3 中的一个简单示例 val book author gt gt Benjamin Pierce title gt gt Types and Programming Languages id gt gt 2

scala typeclass shapeless scala213

对两种类型之间的二元关系进行建模

有企业也有人用户可以对某个企业点赞或发表评论但效果是一样的can not发生在一个人身上当用户发布有关某个企业的内容或对其点赞时该企业就被称为target喜欢或帖子 trait TargetingRelation Targetin

scala generics typeclass parametricpolymorphism typeconstructor

如何制作Applicative的固定长度向量实例？

最近了解了推广决定尝试写向量 LANGUAGE DataKinds GADTs KindSignatures module Vector where data Nat Next Nat Zero data Vector Nat gt gt

Haskell types patternmatching typeclass gadt

是否可以对更高种类类型的类实例强制执行类型约束？

我有一个这样定义的类型 newtype PrimeSet a P Integer deriving Eq 我还定义了一个将素数集转换为列表的函数假设它的类型参数是Integral toList Integral a gt PrimeSet

Haskell typeclass typeconstraints higherkindedtypes

D 中的特征可以用于类型类吗？

我是 D 新手我正在寻找一种使用类似 Haskell 的类型类进行编程的好方法例如D 中的函子幺半群等 Tango 或 Phobos 中是否实现了类似的功能我听说过可以对某些属性进行编译时类型检查的特征它们可以用于类型类吗我尝试

functionalprogramming d typeclass