Generics of a Higher Kind

With Java 5 and C-# 2.0, first-order parametric polymorphism was introduced in mainstream object-oriented programming languages under the name of generics. Although the first- order variant of generics is very useful, it also imposes some restrictions: it is possible to abstract over a type, but the resulting type constructor cannot be abstracted over. This can lead to code duplication. We removed this restriction in Scala, by allowing type constructors as type parameters and abstract type members. This paper presents the design and implementation of the resulting type constructor polymorphism. Furthermore, we study how this feature interacts with existing object-oriented constructs, and show how it makes the language more expressive.


Publié dans:
Acm Sigplan Notices, 43, 423-438
Année
2008
Mots-clefs:
Laboratoires:




 Notice créée le 2010-11-30, modifiée le 2018-12-03


Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)