当前分类:adhoc-polymorphism

scala - 类型类接口(interface)的DataSet/DataStream

oop - 接口(interface)属于即席多态性(即重载)还是子类型多态性?

haskell - 1 :1 type/type-class-instance relation? 是否有可行且类型安全的替代方案

rust - 这个理解对吗: trait and function overloading both achieved ad hoc polymorphism but in different direction

scala - Scala 中 Ad-hoc 多态性和参数多态性的区别

scala - Ad-hoc 多态性 - 类型类

OCaml 中的多态性 - ad hoc、参数、包含/子类型

haskell - 在临时多态函数和参数多态函数之间转换的好方法

haskell - 类型级别的类型类可以用更高级别的类型来模拟吗?

haskell - 类型推断会干扰引用透明度

haskell - 我什么时候应该通过类型类或其他方式定义多态函数?

haskell - 在 Haskell 中声明 "subclass"

java - 当本地定义具有不同参数的函数时,无法调用静态导入的重载函数吗?

热门标签: