1
Pourquoi avez-vous besoin de types plus élevés?
Certains langages permettent des classes et des fonctions avec des paramètres de type (comme List<T>où Tpeut être un type arbitraire). Par exemple, vous pouvez avoir une fonction comme: List<S> Function<S, T>(List<T> list) Cependant, certaines langues permettent d'étendre ce concept d'un niveau supérieur, vous permettant d'avoir une fonction avec la signature: …