当前分类：higher-order-types

scala - 具有多种类型的类型的仿函数实现

c++ - 类型列表上的编译时映射

scala - Scala 3 中的递归高阶函数类型

haskell - 为什么我只能在类型参数位置传递部分应用的类型构造函数？

haskell - 广义 HM 与高阶统一

f# - 在 F# 中使用对象代数模拟高级多态性

type-systems - 消除高阶类型与高阶类型的歧义

haskell - 我可以为 a -> b -> * 写一个更高阶的类型吗？

java - 为什么不能用Java声明Monad接口(interface)？

haskell - 有没有办法在 Haskell 中捕获高阶函数的元组？

haskell - 函数在类型级别上的模式匹配是可能的，但在值级别上则不行，为什么会出现这种差异？

java - 允许 Scala/Java 中的参数化类/类型

java - "generics"和 "higher-order types"之间有什么关系？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们