refinement-type
-
从 Refined 获取谓词
-
coq 中 match 中参数结构属性的证明
-
使用“=”定义类型别名时，是否有 pattern/trick 强制执行“<:”
-
对类型细化语法的困惑
-
Haskell 中的简单优化类型
-
当使用相同的谓词进行细化时，如何使用 Scala 的 Refined 库确保类型安全
-
在 Scala 中进行类型优化但不使用精化
-
如何将 [TExp a] 转换为 TExp [a]，或者以其他方式以编程方式将 refineTH 应用于多个值？
-
简单的 liquidhaskell 示例未达到预期行为
-
flowtype 可空对象不可变 属性 细化
-
我可以强制地图中的某些键在 Scala 中具有某些类型吗？
-
AutoRefineV 没有从 Map 中获取显式推理？
-
将字符串精炼为仅某些值 scala
-
我可以定义参数不等于 Haskell 的参数数据类型吗？
-
Liquid Haskell：证明组合器和谓词精炼类型的错误
-
Liquid Haskell：来自内联递归函数的 "Cyclic type alias definition" 错误
-
用 self 和 this references 理解真正的蛋糕模式代码
-
类型细化的隐式扩展方法
-
如何从具有类型相等约束的 Scott 编码的 GADT 中获取值？
-
B规范的细化