Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
类型同义词对类型类的实例有什么影响? 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
一个函数中的两个多态类
我有状态单子的代码 import Control Monad State data ModelData ModelData String data ClientData ClientData String act String gt Sta
Haskell
polymorphism
monads
typeclass
taglessfinal
为什么实例仅通过其头部进行匹配?
我将首先介绍一个具体的问题 StackOverflow 的人就是这样 假设您定义了一个简单类型 data T a T a 这种类型是一个Functor Applicative and a Monad 忽略自动派生 要获取这些实例 您必须编写
Haskell
monads
typeclass
functor
applicative
将属性添加到类型而不是类型实例的隐式转换
我正在阅读一些较旧的 Scala 帖子 以更好地理解类型类 然后我运行了 穿过this one https stackoverflow com questions 8524878 implicit conversion vs type cl
scala
typeclass
implicit
违反 scalaz 中未来单子的左恒等律
假设我定义了一个实例Monad类型类为Future val futureMonad new Monad Future override def point A a A Future A Future a override def bind
scala
monads
typeclass
Clojure - 返回类型的调度? (与 Haskell 类型类一样具有表现力)
这是一个关于 Clojure 与 Haskell 等其他语言的表达能力的问题 更广泛的问题是解决表达问题 http en wikipedia org wiki Expression problem 这个问题 https stackoverf
Haskell
Clojure
typeclass
multimethod
clojureprotocol
GHC Haskell 当前的约束系统有什么问题?
我听说 Haskell 的 损坏 约束系统存在一些问题 从 GHC 7 6 及以下版本开始 它出什么问题了 是否有一个可比的现有系统可以克服这些缺陷 例如 edwardk 和 tekmo 都遇到了麻烦 例如此评论来自 tekmo http
Haskell
typeclass
«
1
2
3
4
5
6
»