Scala comme langage de programmation générique

Dans l'article «Une étude comparative étendue de la prise en charge des langages pour la programmation générique» par Garcia et al. une comparaison intéressante des fonctionnalités des langages de programmation pour la programmation générique est donnée:

avec la brève explication de la terminologie:

Quelqu'un peut-il tester le support Scala pour la programmation générique dans ce cadre? C'est-à-dire ajouter une colonne dans le premier tableau avec des explications si possible.

Comme mentionné dans l' un des commentaires du PO, c'est le tableau qui explique comment Scala se compare pour le support de programmation générique. Lien vers le pdf source

Plus tard, le résumé suivant est fourni:

Scala
En utilisant le modèle CONCEPT, nous pouvons modéliser des concepts multi-types, des contraintes multiples et prendre en charge la modélisation rétroactive. De plus, la prise en charge des implicites par Scala signifie que les inconvénients des solutions Java et C # en termes de surcharge supplémentaire ne s'appliquent pas à Scala. Ainsi, Scala obtient de bons résultats à la fois dans la déduction implicite des arguments et dans les critères de modélisation rétroactive. La section 6 montre que les types associés sont pris en charge dans Scala via les membres de type et les types de méthode dépendants, et les membres de type peuvent également être utilisés comme alias de type.
Comme indiqué dans la section 3, Scala prend en charge les modèles à portée lexicale. De plus, la vérification de type est entièrement modulaire. Les implicits de chevauchement priorisés fournissent un certain support pour la surcharge basée sur le concept comme illustré par le zipWithNexemple dans la section 6.5. Cependant, les modèles qui se chevauchent doivent être structurés en utilisant une hiérarchie de sous-typage, ce qui n'est pas toujours souhaitable. Ainsi, le score de cette fonctionnalité n'est que suffisant. Enfin, Scala prend entièrement en charge les fonctions de première classe et prend également en charge les contraintes d'égalité.
En résumé, Scala se révèle être un langage avec un excellent support pour les fonctionnalités de programmation génériques, réussissant à se comporter au même niveau, voire légèrement mieux, que G (qui a été spécialement conçu comme langage pour la programmation générique dans son ensemble) ou Haskell ( qui a été reconnu comme ayant un très bon support pour la programmation générique).

Et puis dans le résumé:

Les membres de type et les types de méthode dépendants ajoutent une puissance supplémentaire au langage et une combinaison des deux mécanismes permet d'exprimer les types associés. En combinaison avec les implicits, les membres de type et les types de méthode dépendants font de Scala un langage prêt pour la programmation générique à grande échelle.