Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
如何为递归单例类型定义 NFData 实例?
我在用着singletons图书馆 我有这个数据类型 import Control DeepSeq import Data Singletons Prelude import Data Singletons TH data T A B T
Haskell
typefamilies
typelevelcomputation
强制隐式调用的依赖类型解析
我有一个包装特征 trait Wrapper T type Own F lt OwnThing F def ask F implicit own Own F 还有不同的实现 这里是一个例子 class CombinedWrapper A B
scala
implicit
typelevelcomputation
pathdependenttype
召唤辅助以获得更高种类的类型,而不参考原始类型
我正在尝试将 Aux 模式与更高种类的类型一起使用 并且直到之后才必须指定更高种类类型的参数 这类似于所描述的SO问题here https stackoverflow com questions 52581986 aux pattern f
scala
generics
typeclass
typelevelcomputation
为什么会发生这种隐含的歧义行为?
我有一个类型类Search 其中有一个实例Search A 如果我们有一个TypeClass1 A or a TypeClass2 A 实例 优先考虑1实例 编译如下 trait TypeClass1 A trait TypeClass2
scala
typeclass
implicit
ambiguous
typelevelcomputation
如何提取这个多态递归函数?
我正在使用 GHC 7 8 做一些相当有趣的事情 但遇到了一些问题 我有以下内容 mkResultF Eq k gt Query kvs KV k v gt k gt ResultF Reverse kvs Maybe v mkResult
Haskell
typelevelcomputation
Scala 代码片段到 TypeScript(如何转换抽象类型成员)
我在 Scala 中有一小段值级别和类型级别列表 sealed trait RowSet type Append That lt RowSet lt RowSet def with That lt RowSet that That Appe
typescript
scala
typelevelcomputation
高级类型的辅助模式
编辑 这是问题的一个更简单的表述 使用Foo作为一个例子Aux模式其中does work Foo is a simple Aux pattern type trait Foo A B type Out object Foo type Aux
scala
typelevelcomputation
higherkindedtypes
在 Haskell 中模拟路径依赖类型
这是我想做的事情的一个简化示例 假设你有一个HList对 let hlist HCons 1 1 HCons 0 2 HCons 0 1 5 HNil 现在我想写一个函数replaceAll它将用相同类型的第一个 值 替换给定类型的所有 键
Haskell
types
typelevelcomputation
pathdependenttype
Scala 中的类型级编程
我想更深入地了解 Scala 中的类型级编程 因此我开始做一些小练习 我从类型级别的皮亚诺数的实现开始 这是下面的代码 sealed trait PeanoNumType Type at the end indicates to the r
scala
typelevelcomputation
如何在 Scala 3 中进行类型级添加?
如何在 Scala 3 中实现类型级操作 在本例中为加法 这是我想做的 这不能编译 case class foo S lt Int Singleton value Double def bar T lt Int Singleton that
scala
scala3
typelevelcomputation
singletontype
为什么我们需要为某些类型计算的输出指定一个精炼类型(或其等效的 Aux)?
In https jto github io articles typelevel quicksort 我们接触到一个Sum键入谁的apply看起来像这样 def apply A lt Nat B lt Nat implicit sum S
scala
dependenttype
typelevelcomputation
pathdependenttype
是否有一个类型类可以检查至少一个隐式类型的存在?
我有一个特质Foo T U 和一个类型级算法 给出L lt HList和目标类型U 告诉我是否存在T in L这样就存在一个隐含的Foo T U 在适用范围 这是使用以下类型类实现的 trait Search L lt HList U ob
scala
shapeless
scalamacros
typelevelcomputation
scalacompiler
如何在 Scala 3 中证明 `Tuple.Map[H *: T, F] =:= (F[H] *: Tuple.Map[T, F])`
我正在尝试编写一个包含元组类型给定实例的特征 是的 我知道summonAll存在 trait TupleInstances C T lt Tuple val instances Tuple Map T C given C TupleInst
scala
scala3
typelevelcomputation
dotty
matchtypes
解释 Scala 类型级编程中使用的“LowPriorityImplicits”模式
当查看一些 Scala 库的源代码时 例如无形的 我经常发现名为LowPriorityImplicits 您能解释一下这个模式吗 解决的问题是什么 该模式是如何解决的 该模式允许您拥有隐式层次结构 避免编译器产生与歧义相关的错误 并提供一种
scala
implicit
shapeless
typelevelcomputation
隐式解析失败?
我一直致力于 无形风格 的实现冈崎密集二进制数系统 它只是一个类型级的位链表 某种HList二进制的Digits 我已经完成了操作的初稿 其中包括您期望的自然数标准数学运算 直到现在我才意识到我的编码存在一个大问题 如何修复我的隐式分辨率I
scala
shapeless
typelevelcomputation
具有类型约束的 Haskell 类型族实例
我试图用类型族表示表达式 但我似乎无法弄清楚如何编写我想要的约束 并且我开始觉得这是不可能的 这是我的代码 class Evaluable c where type Return c evaluate c gt Return c data