Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
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
为什么这个实现无效?
假设我有以下类型签名 someFunction Eq a Eq b gt a gt b 随着实施 someFunction x 2 Int 不要看得太远 这只是一个例子 我对签名的理解是 someFunction接受一个作为实例的参数Eqt
Haskell
types
compilererrors
typeclass
parametricpolymorphism
如何避免在 Scala 中调用 asInstanceOf
这是我的代码的简化版本 怎样才能避免打电话asInstanceOf 因为这是一个设计不佳的解决方案的味道 sealed trait Location final case class Single bucket String extends
scala
casting
patternmatching
typeclass
implicit
Haskell:“Num [a] => a”和“Num a => [a]”之间有什么区别
显然 我的类型签名已关闭 我现在已经知道原因了 现在 我有兴趣了解有关 GHCI 对我的拼写错误推断的签名的更多信息 我试图让这段代码工作 elemNum Eq a Num b gt a gt a gt b elemNum e l f e
Haskell
types
typeclass
GHC 泛化加法时重叠实例
试图概括 不仅仅是Nums 我写了一个Addable class LANGUAGE FlexibleContexts FlexibleInstances UndecidableInstances class Addable a where
Haskell
typeclass
overlappinginstances
Haskell 中的“子类化”显示?
可以说我有以下内容 data Greek Alpha Beta Gamma Phi deriving Show 我想使用除 Beta 之外的所有项目的默认显示 我想说 两个 我可以这样做吗 deriving Show使用标准实例化机制 简单
Haskell
types
typeclass
将 Data.Constraint.Forall 与等式约束一起使用
假设我有一个这样的函数 LANGUAGE ScopedTypeVariables class C a where foo forall f a b C f a C f b gt f a gt f b foo 现在 如果我想移动范围a and
Haskell
typeclass
typefamilies
为什么会发生这种隐含的歧义行为?
我有一个类型类Search 其中有一个实例Search A 如果我们有一个TypeClass1 A or a TypeClass2 A 实例 优先考虑1实例 编译如下 trait TypeClass1 A trait TypeClass2
scala
typeclass
implicit
ambiguous
typelevelcomputation
Scala双重定义(2个方法具有相同的类型擦除)
我用 scala 编写了这个 但它无法编译 class TestDoubleDef def foo p List String def foo p List Int 编译器通知 error double definition error m
scala
Compilation
overloading
typeclass
typeerasure
为什么 Haskell 在读取 Num 时似乎默认读取 Int ?
我没想到下面的代码会起作用 foo Num a gt a gt a foo x x x main do print foo read 7 因为不可能根据代码完全推断出 读为 7 的类型 但 GHC 6 12 3 不这么认为并打印 14 如果
Haskell
typeclass
如何在 Scala 中为泛型类型提供默认类型类?
在 Scala 中 如果你创建一个类型类 比如代数结构Monoid T 您可以为不同类型的幺半群提供许多默认类型类实现 假设幺半群定义为 trait Monoid T def op x T y T T def id T Since Stri
scala
generics
types
typeclass
typeparameter
Scala:检查对象是否为数字
模式匹配是否可以检测某物是否是Numeric 我想做以下事情 class DoubleWrapper value Double override def equals o Any Boolean o match case o Numeric
scala
numeric
typeclass
多参数类型同义词实例
我试图弄清楚是否可以 以及如何 为多参数类型同义词定义类实例 例如 LANGUAGE MultiParamTypeClasses FlexibleInstances type F a b a gt b data DF a b DF a gt
Haskell
typeclass
OO 接口转换为 Haskell
我的具体问题实际上不是关于 OO 接口到 Haskell 的一般转换 这是我能想到的最好的标题 然而 我确信我的问题源于对 Haskell 建模代码的理解仍然很差 并且思维方式仍然停留在 OO 范式的领域 你看 仍然是一个 Haskell
Haskell
Modeling
typeclass
abstractdatatype
尝试使用类型族来消除具有灵活上下文的重叠实例时出错
我试图在我正在使用的类型的类型参数上使用一些相当复杂的条件来定义类型类的实例 并且认为一个有用的方法是声明一个封闭的类型系列 该系列在我定义的实例之间进行选择 不幸的是 我根本无法让这个想法发挥作用 因为 GHC 抱怨这些实例是重复的 这是
Haskell
typeclass
typefamilies
haskell——有什么方法可以为大致元组同构的数据类型生成“派生”实例吗?
假设我有一个像这样的数据类型 data D a D a a a 和一个类型类 class C c instance C c1 C c2 gt C c1 c2 然后 我希望能够写 data D a D a a a deriving C 并生成
Haskell
typeclass
deriving
Scala:“模糊的隐式值”,但未找到正确的值
我正在编写一个小型 Scala 程序 它应该 从本地 FS 读取文件 逐行 从每一行解析三个双精度值 根据这三个值创建案例类的实例 将这些实例传递到二叉堆 为了能够解析Strings 到两个Doubles and CoordinatePoi
scala
typeclass
implicit
either
这个和KleisliFunctor类似的东西是什么?
这是我们如何定义KleisliFunctor https elvishjerricco github io 2016 10 12 kleisli functors html class Monad m Functor f gt Kleisl
Haskell
monads
typeclass
categorytheory
Scala:通过依赖注入协调类型类
最近 Scala 博主们似乎对类型类模式 其中一个简单的类具有由符合某些特征或模式的附加类添加的功能 作为一个过于简单化的例子 简单的类 case class Wotsit value Int 可以适应 Foo 特征 trait Foo T
scala
dependencyinjection
implicit
typeclass
«
1
2
3
4
5
6
»