Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
隐式参数:如何在函数签名中编码?
继令人惊叹的启发之后question TravisBrown 关于使用 shapeless 枚举 ADT 我留下了以下代码片段 implicitly EnumerableAdt Foo values 我想将其封装在一个方法中 这样我就不必
scala
typeclass
shapeless
强制依赖返回类型必须实现类型类
我试图强制执行一条规则 即类型类的 依赖 返回类型本身必须实现类型类 所以当用户实现IsVec下面的类型类 他们还必须确保返回值getElem方法实现另一个类型类 IsVecElem 我尝试让这项工作看起来像这样 A typeclass f
scala
generics
typeclass
implicit
pathdependenttype
不可判定的实例如何真正挂起编译器?
当我第一次读严肃的时候批评 XUndecidableInstances 我已经完全习惯了 认为这只是消除令人讨厌的限制 Haskell98 必须使编译器更容易实现 事实上 我遇到过很多需要不可判定实例的应用程序 但没有一个应用程序实际上导致
Haskell
typeclass
haltingproblem
undecidableinstances
Haskell 中 FFI 调用的类型自动转换
我定义了以下模块来帮助我导出 FFI 函数 LANGUAGE MultiParamTypeClasses FunctionalDependencies TypeSynonymInstances module ExportFFI where
Haskell
typeclass
FFI
GHC 7.7 中引入的自由覆盖条件破坏了 GHC 7.6 中有效的代码
The idea 我正在写一个DSL 编译为 Haskell 该语言的用户可以定义自己的不可变数据结构和关联函数 我所说的关联函数是指属于数据结构的函数 例如 用户可以编写 用 pythonic 伪代码 data Vector a x y
Haskell
ghc
typeinference
typeclass
typechecking
Eq 和 Ord 实例不一致?
我有一个大型 Haskell 程序 它运行速度慢得令人沮丧 分析和测试表明 很大一部分时间都花在比较特定大型数据类型的相等性和顺序上 这非常重要 相等是一个有用的操作 这是状态空间搜索 图搜索比树搜索更可取 但我只需要此类的 Ord 实例即
Haskell
typeclass
Scala中的类型类模式不考虑继承?
在某些情况下 我正在使用类型类设计 API 但是我遇到了隐式解析的问题 如下所示 如果有一个类型为A的隐式对象但有一个类型为B extends A传递给该方法 则无法找到隐式对象 有没有办法做到这一点 或者调用者是否必须将隐式对象放入每个子
inheritance
scala
implicit
typeclass
Haskell 类型让简单的“平均”函数令人沮丧
我正在尝试初学者 Haskell 我想编写一个平均函数 这似乎是世界上最简单的事情 对吧 Wrong 看起来 Haskell 的类型系统禁止平均值处理通用数字类型 我可以让它处理积分列表或分数列表 但不能同时处理两者 I want aver
Haskell
types
typeclass
混合类型类和类型族时出现问题
这段代码编译得很好 LANGUAGE MultiParamTypeClasses FunctionalDependencies FlexibleInstances UndecidableInstances FlexibleContexts
Haskell
typeclass
typefamilies
具有多态类型的 STUArray
我想使用以下方法实现一个算法ST单子和STUArrays 我希望它能够与两者一起使用Float and Double data 我将演示一个更简单的示例问题 计算记忆值scanl 0 我知道这可以解决 无需STUArray 仅用作示例 LA
Haskell
typeclass
stuarray
显式导入实例
如何显式导入类型类实例 另外 如何通过合格的进口来做到这一点 目前 我正在做 import Control Monad Error 导入我可以使用的 monad 实例 Either String 以前 我用过 import Control
Haskell
import
typeclass
具有类型约束的 Haskell 类型族实例
我试图用类型族表示表达式 但我似乎无法弄清楚如何编写我想要的约束 并且我开始觉得这是不可能的 这是我的代码 class Evaluable c where type Return c evaluate c gt Return c data
«
1
2
3
4
5
6