其實很多類型系統都是用類型參數的的形式來實現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！！！！

.

然后你人就廢了… (大霧

本來是開玩笑的，但是自己看了自己的答案，就有點心疼瞎點技能樹的自己 (╥﹏╥)

總結

以上是生活随笔為你收集整理的对象入参指定泛型类型_为什么要使用泛型,而不是直接将类型作为参数传递?的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。