Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
在 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
确保隐式定义始终具有较高/较低优先级的一般方法
我有一个有点复杂的类型类情况 格式如下 sealed trait TypeClass S lt MyType type Out lt MyType sealed trait LowPriorityTypeClass Case OtherTy
scala
typeclass
implicit
如何指定两个操作在类型类中交换?
我开始读书这篇关于 CRDT 的论文 http pagesperso systeme lip6 fr Marc Shapiro papers RR 6956 pdf 这是一种通过确保修改数据的操作是可交换的来同时共享可修改数据的方法 在我看
Haskell
typeclass
commutativity
为什么 Haskell [] (list) 不是类型类?
我正在编写一个 Haskell 函数 它接受一个列表作为输入 也就是说 它没有理由不能是队列或出列 或者任何允许我访问它的 头 和 尾 并检查它是否为空 的东西 所以 a 输入类型似乎太具体了 但据我所知 没有标准库类型类可以准确捕获此接口
list
Haskell
types
interface
typeclass
你能在 Haskell 中为整个类创建一个类的实例吗?
假设我想让所有数字成为Monoid 而不必为每个实例创建一个实例Num像这样 instance Monoid Int where mappend mempty 0 instance Monoid Float where mappend me
Haskell
typeclass
typeconstraints
Haskell——从具体类型实例获取 TypeRep
我想编写一个具有这种类型签名的函数 getTypeRep Typeable a gt t a gt TypeRep 其中 TypeRep 将是类型表示a 不是为了t a 也就是说 编译器应该在任何调用站点自动返回正确的类型表示 to获取类型
Haskell
types
typeclass
dynamictyping
在 Scala 3 中派生不透明类型的类型类实例
Scala 3 有没有办法使用derives关键字与不透明类型别名结合使用 最好有一种无样板的方法 通过自动依赖基础类型 如果有 的相同类型类的实例来为给定的不透明类型别名提供类型类实例 如果能够表达类似的东西就好了 opaque type
scala
typeclass
scala3
deriving
derivingvia
使用量化约束导出 Ord(forall a.Ord a => Ord (f a))
通过量化的约束我可以得出Eq A f 正好 但是 当我尝试导出 Ord A f 时 它失败了 我不明白当约束类具有超类时如何使用量化约束 我如何得出Ord A f 以及其他有超类的类 gt newtype A f A f Int gt de
Haskell
typeclass
derivedclass
quantifiedconstraints
给定关键字在 Scala 3 或 dotty 中如何工作?
我正在浏览 Scala 3 文档 他们介绍了given被认为是 Scala 2 替代品的关键字implicit 代码在这里 trait Ord T def compare x T y T Int def x T lt y T compare
scala
typeclass
implicit
dotty
scala3
“Alternative”类型类中的“some”和“many”函数[重复]
这个问题在这里已经有答案了 有哪些功能some and many in the Alternativetype 类有什么用 Docs http hackage haskell org packages archive base latest
1
2
3
4
5
6
»