|
Project Information
|
As of version 2.5, Scala supports type constructor polymorphism. This means type parameters may themselves take type parameters. Furthermore, the type arguments to these type constructors may be bounded. As far as we know, Scala is the first practical language to combine higher-kinded types and subtyping. |