Ce qui est un plus kinded type de Scala?

Vous pouvez trouver les informations suivantes sur le web:

  1. Plus kinded type == type constructeur?

    class AClass[T]{...} //For example, class List[T]

    Certains disent que c'est un plus kinded type, parce qu'il
    les résumés de plus de types qui serait compatible avec la définition.

    Plus kinded types sont des types qui prennent d'autres types et de construire un nouveau type de

    Ces cependant sont également connus comme constructeur de type. (Par exemple, dans La programmation Scala).

  2. Plus kinded type == type constructeur qui prend constructeur de type, comme un paramètre de type?

    Dans le papier Les génériques d'un Genre Plus élevé, vous pouvez lire

    ... types abstraits sur les types abstraits de plus de types de
    ('plus-kinded types') ..."

    qui suggère que

    class XClass[M[T]]{...} //or
    
    trait YTrait[N[_]]{...} //e.g. trait Functor[F[_]]

    est plus kinded type.

Donc, avec cela à l'esprit, il est difficile de distinguer entre constructeur de type, plus kinded type et type constructeur qui prend type de constructeurs comme paramètre de type, par conséquent, la question ci-dessus.

  • Ajouté Landei du Foncteur comme exemple.
InformationsquelleAutor Lutz | 2011-06-05