phantom-types
-
按类型索引 vs 在 idris 中包含类型
-
幽灵和代理 - 导致幽灵般的错误
-
根据用户为 "A" 和 "B" 定义的隐式解析 "A with B" 的隐式
-
带 AnyVal 的幻影类型?
-
这个幻影类型的例子怎么可能有效?
-
幽灵类型混乱?
-
如何根据幻影类型参数比较幻影类型的实例?
-
删除幻像类型变量
-
Haskell 中的幻影类型
-
如何使用 Data Kinds + Phantom types 对 Haskell 中的单位进行编码?
-
在函数定义中使用实例模式
-
检索幻像类型的隐藏类型
-
定义幻影类型 - 无法编译示例
-
C# 中的幻像泛型约束
-
Haskell:具有幻像变量的数据的异构列表
-
幽灵类型背后的动机?