在关于Haskell类型类的PDF演示文稿中,幻灯片#54有这样一个问题:
公开问题: 在具有泛型和受约束的多态性的语言中,您是否也需要子类型？
公开问题:
在具有泛型和受约束的多态性的语言中,您是否也需要子类型？
我的问题是:
泛型和约束多态如何使子类型不必要？
如果泛型和约束多态不需要子类型,为什么Scala有子类型？
oop haskell programming-languages functional-programming scala
functional-programming ×1
haskell ×1
oop ×1
programming-languages ×1
scala ×1