Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
向类型类实例添加类约束
我正在尝试实现康托配对函数 作为 通用 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
为什么这个实现无效?
假设我有以下类型签名 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
«
1
2
3
4
5
6
»