scala - What's the difference between "Generic type" and "Higher-kinded type"? -
i found myself can't understand difference between "generic type" , "higher-kinded type".
scala code:
trait box[t] i defined trait name box, type constructor accepts parameter type t. (is sentence correct?)
can say:
box generic type box higher-kinded type none of above correct when discuss code colleagues, struggle between word "generic" , "higher-kinde" express it.
scala generics type-systems higher-kinded-types
No comments:
Post a Comment