Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
如何制作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
向类型类实例添加类约束
我正在尝试实现康托配对函数 作为 通用 Pair 类型类 如下所示 module Pair Pair CantorPair where Pair interface class Pair p where pi a gt a gt p a k
Haskell
typeclass
召唤辅助以获得更高种类的类型,而不参考原始类型
我正在尝试将 Aux 模式与更高种类的类型一起使用 并且直到之后才必须指定更高种类类型的参数 这类似于所描述的SO问题here https stackoverflow com questions 52581986 aux pattern f
scala
generics
typeclass
typelevelcomputation
是否有通用方法将约束应用于类型应用程序?
A comment https stackoverflow com questions 41111715 making a constraint of maybe a where eq a 41111825 noredirect 1 com
Haskell
typeclass
typefamilies
polykinds
在用户定义类型和现有类型之间定义已存在(例如在 Prelude 中)运算符的正确方法是什么?
假设我有一个包装现有类型的自定义类型 newtype T T Int deriving Show 假设我希望能够加起来Ts 并且将它们相加应该会导致将包装值相加 我会通过以下方式做到这一点 instance Num T where T t1
创建多态透镜
我能够为最后一个字段创建一个镜头 c 在我的数据类型中执行以下操作 LANGUAGE DuplicateRecordFields data X1 a c X1 a a b Int c c data X2 a b c X2 a a b b c
Haskell
polymorphism
typeclass
haskelllens
从 Finger Tree 文章中查找丢失的“Reduce”类型类
昨天的维基百科 http www urbandictionary com define php term Wikibender开始于这个计算器问题 https stackoverflow com questions 8428554 what
Haskell
typeclass
fingertree
Haskell 重叠实例和类型函数
我有以下类型类 它模拟了类似 SQL 的查询优化 class OptimizableQuery q where type Optimized q optimize q gt Optimized q instance Query q gt O
Haskell
metaprogramming
typeclass
overlappinginstances
新类型的一个覆盖如何显示?
我想重写 Haskell 中的默认整数构造函数 以便它们生成字符串 主要是出于好奇 但暂时为 LaTeX 的 frac 不便提供一个很好的输入替代方案 我希望能够使用语言本身 而不是特殊的解析器 但我想这可能行不通 module Main
Haskell
show
typeclass
1
2
3
4
5
6
»