My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Project Information
Members

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.

Powered by Google Project Hosting