Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
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
类型同义词对类型类的实例有什么影响? GHC 中的 TypeSynonymInstances 编译指示有何作用?
我正在阅读现实世界哈斯克尔第151页 我盯着下面这段话看了一个多小时 回想一下 字符串是以下的同义词 Char 它又是类型 a 其中 Char 替换为类型 参数a 根据 Haskell 98 的 规则 我们不允许提供 在以下情况下用类型代替
typeclass
Haskell
Haskell 中类型和数据类型有什么区别?
我对 a 之间的区别有点困惑type and a 数据类型在哈斯克尔 从我遇到的文献中我得到的印象是它们是不同的概念 Type and 数据类型指的是完全相同的概念 Haskell 关键字type and data但有所不同 data允许您
Haskell
typeclass
使函数成为向量类型类的实例
我有一个数学向量的自定义类型类 LANGUAGE MultiParamTypeClasses FlexibleInstances class Vector v a where infixl 6 lt gt lt gt v gt v gt v
Haskell
types
typeclass
如何将类型类模式与子类型结合起来?
假设我在 Scala 中使用类型类模式 这是我如何制作 C 类 类型类 Foo 的一部分 Welcome to Scala version 2 9 0 1 Java HotSpot TM 64 Bit Server VM Java 1 6
scala
typeclass
Variance
Haskell 中的 fromInteger 重写
所以我喜欢Haskell 但对Num类不满意 所以我想为代数类型创建我自己的类型类层次结构 问题是 即使我导入 Prelude 隐藏 Num 以及与之相关的所有内容 使文字 1 具有类型 t 的唯一方法仍然是使 t 实例 Num 我很想从
Haskell
numeric
typeclass
Haskell 中的链接/组合类型类
假设我有两个定义如下的类型类 它们的功能相同但名称不同 class Monad m where gt gt m a gt a gt m b gt m b return a gt m a class PhantomMonad p where
Haskell
monads
typeclass
编译器不会为多态常量值选择类型类
我是 Haskell 的新手 所以请提前原谅我 为什么以下 haskell 代码无法编译 编译器似乎无法看到表达式的类型 maxBound a is a其中有一个Enum提供了实例 而不是一些type variable a0 这是ambig
Haskell
typeclass
声明一个类型类的所有实例都在另一个类型类中,而不修改原始类声明
crypto api 包中有一个 Crypto Random API 它指定了 伪随机数生成器 的含义 我使用 System Random 的 RandomGen 类的实例 即 StdGen 实现了此 API instance Crypto
Haskell
instance
subclass
typeclass
数据声明的类型类约束
显然 在数据声明上放置类型类约束是一个坏主意 src https stackoverflow com questions 2354707 in haskell is there num a infinity a rq 1 comment23
Haskell
types
typeclass
我可以参数化空约束类型吗?
我有一个队列类 它允许实例定义它对元素施加的约束 例如 优先级队列要求其元素是可排序的 LANGUAGE MultiParamTypeClasses ConstraintKinds FunctionalDependencies class
Haskell
typeclass
typeconstraints
typefamilies
为什么导入类型类实例不再需要 import cats.implicits._ ?
在 Cats 2 1 x 中 类型类实例被引入范围内import cats implicits scala gt import cats Show import cats Show scala gt Show Int show 42
scala
import
typeclass
implicit
scalacats
在 Haskell 类型类中记录选择器
我想实施一个Type Class有几个默认方法 但我收到一个错误 我无法使用record selectors inside type classes定义 下面的代码基本上创建了type class它定义了add函数 它应该添加一个元素到re
Haskell
types
record
typeclass
在 Scala 中的隐式实例中强制执行优先级
这是问题的后续伴生对象中的 Scala 隐式类型类优先级 https stackoverflow com questions 36928125 scala implicit typeclass precedence in companion
scala
typeclass
implicit
使用上下文“负向”边界来确保类型类实例不存在于范围内
tl dr 我该如何做类似下面的代码 def notFunctor M Not Functor m M s m is not a functor The Not Functor 这是这里的组成部分 我希望它在提供的 m 不是函子时成功 否则
scala
typeclass
implicit
scalaz
higherkindedtypes
«
1
2
3
4
5
6
»