对象入参指定泛型类型_为什么要使用泛型,而不是直接将类型作为参数传递?

其实很多类型系统都是用类型参数的的形式来实现Universal Type的，Parametric Polymorphism 和System F可以了解一下，如果只局限于一两个热门语言的话，可能会有此疑问，但是从type theory的角度来说，高阶类型本身就是type constructor，接受type parameter，比如functor，monad…

然后你就会发现一个新世界，type class！Hindley-Milner！ higher kinded type！ higher rank type！Substructural Type！ System Fw！ Lambda-P！ dependent types！ Lambda cube！… … 米田定律！ Category Theory！！！！

.

然后你人就废了… (大雾

本来是开玩笑的，但是自己看了自己的答案，就有点心疼瞎点技能树的自己 (╥﹏╥)