type-theory
-
f#:在(归纳)类型中编码偶数和奇数?
-
OTT 中的自我表示和宇宙
-
OTT 中可证明的一致性
-
为什么 `filter` 使用高阶出现类型?
-
类型类实例中的统一怪异
-
如何系统地计算给定类型的居民数量?
-
什么是预测性?
-
依赖类型可以证明您的代码符合规范是正确的。但是你如何证明规范是正确的呢?
-
为什么是forall一个。 a 不被认为是 Int 的子类型,而我可以使用类型为 forall a 的表达式。期望 Int 类型的任何地方?
-
如何证明 Haskell 类型包含一个且只有一个函数?
-
Divisible Type Class 是否有有用的应用程序?
-
GADT 提供了哪些 OOP 和泛型无法实现的功能?
-
Category在编程中的类比是什么