Scala/Поліморфізм конструктора типу

Починаючи з версії 2.5, Scala підтримує поліморфізм конструктора типу (type constructor polymorphism). Це означає, що параметри типу, можуть самі мати параметри типу. Крім того, аргументи цих конструкторів типів можуть бути обмежені. Scala є першою практичною мовою, щоб об'єднала типи вищого виду (higher-kinded types) і підтипи.

trait Iterable[T] { def filter(p: T => Boolean): Iterable[T] def remove(p: T => Boolean): Iterable[T] = filter (x => !p(x))

trait List[T] extends Iterable[T] { def filter(p: T => Boolean): List[T] override def remove(p: T => Boolean): List[T] = filter (x => !p(x))

Визначення тип вертаємого значення приводить до дублювання коду у List

Той самий код із поліморфізмом конструктора типу trait Iterable[T, Container[X]] { def filter(p: T => Boolean): Container[T] def remove(p: T => Boolean): Container[T] = filter (x => !p(x))

trait List[T] extends Iterable[T, List]

Джерело

http://code.google.com/p/kinded-scala/ Adriaan Moors, Frank Piessens, Martin Odersky: Generics of a Higher Kind