当前分类：singleton-type

haskell - Haskell单例:排版包

scala - 在 Scala 2.11+ 中如何准确地使用单例类型作为类型证据？

dictionary - 如何(不安全地)将 map 反射(reflect)为约束？

scala - 无定形窄型损耗

scala - 关于 this.type 的令人惊讶的等价和不等价

scala - 单例类型中的表面不一致

haskell - TypeLits 或 Singletons : Promoting an `Integer` to `KnownNat` (`Nat` ) at Runtime

Scala:有没有办法创建内联类型？

haskell - 惯用的 bool 相等用法(单例)

haskell - `a :~: b` 和 `(a :== b) :~: True` 之间有什么联系吗？

scala - 将特征限制为对象？

haskell - Haskell 有善统一吗？

scala - 运行时值的精炼和存在类型

haskell - Haskell单例:SNat有什么好处

haskell - Haskell 中的单例类型

scala - 生成类型类实例时无法证明单例类型是单例类型

haskell - 将 Ord 实例添加到 'singleton' 包生成的自然值

haskell - 见证之前的类型族子句不匹配

haskell - Singletons TypeRepStar Sing 数据实例

haskell - 像其他 Sing 实例一样使用 Data.Singletons 中的 SNat？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们