higher-order-types
-
类型列表上的编译时映射
-
Scala 3 中的递归高阶函数类型
-
为什么我只能在类型参数位置传递部分应用的类型构造函数?
-
将参数类型作为类型参数传递给 TypeScript 或 Flow 中的另一种类型
-
广义 HM 与高阶统一
-
具有多种类型的类型的函子实现
-
允许在 Scala/Java 中参数化 classes/types
-
有没有办法在 Haskell 中捕获高阶函数的元组?
-
我可以为 a -> b -> * 写一个高阶类型吗?
-
映射受约束的存在限定高阶类型
-
高等类型与高阶类型的消歧
-
为什么不能在Java中声明Monad接口?
-
在类型级别上函数的模式匹配是可能的,但在值级别上则不行,为什么会有这种差异?