parametric-polymorphism
-
如何在打字稿中表达混合 ad-hoc 和参数多态？
-
如何将return类型多态与Haskell中的参数多态结合起来？
-
对类型 类 和 Haskell 中的变量赋值的误解
-
如何在 Java 中打印不同的参数多态方法？
-
`le`的归纳原理
-
Paramcoq：Coq 中的自由定理
-
依赖类型签名中的多态常量？
-
如何从使类型别名更具体的联合类型中解包泛型类型别名？
-
我怎样才能让这个功能更优雅
-
Haskell 部分函数应用 $
-
使用 Haskell 类型 类 时如何优雅地避免 "Ambiguous type variable"
-
Dart：函数的类型安全性，该函数采用具有不同 return 值的函数作为参数
-
为什么这个实现无效？
-
简单类型的 lambda 演算与 Hindley-Milner 类型系统
-
Haskell 使用 foldr 计算长度抛出类型错误
-
任意类型类约束中的非类型变量参数
-
打字稿泛型。无法将 B 的实例传递给参数 a：T，其中 T 扩展 B。为什么？
-
Scala 中 Ad-hoc 多态性和参数多态性的区别
-
解决不明确的类型变量
-
在 Haskell 中，`a` 可以是任何东西吗？