Quelles sont les alternatives au polymorphisme de sous-type dans Scala?

Question

Je suis intéressé de connaître l'ensemble complet des alternatives au polymorphisme de sous-type dans Scala.

Answer 1

Les outils de base pour d'atteindre polymorphisme statiquement checkable à Scala sont

• Le sous-typage (polymorphism OO bog standard)
• paramétrisation Type (permet la variance polymorphes et contraintes)
• auto-frappe (permet la restriction et la spécialisation du polymorphisme OO)
• Conversion implicite (permet une construction polymorphe post-facto)
• Typage structurel (permet poly morphisme en fonction des caractéristiques, plutôt que le type)
• bornes de type général (permettant des contraintes très précises sur le polymorphisme permis)
• de correspondance de motifs (permet le polymorphisme basé sur la structure de données, similaire à des types de données abstraites)
• types supérieur-kinded (permettant le polymorphisme sur les constructions polymorphes)

Appeler toutes ces 'alternatives' est probablement le mauvais mot, car elles sont si bien intégrées. Il n'est pas rare que certains algorithmes polymorphes soient exprimés en utilisant conjointement plusieurs de ces outils.

Il est également intéressant de noter la place de for-comprehensions dans le polymorphisme Scala. Pour les compréhensions ne semblent pas particulièrement polymorphes. Au-dessous de la surface, les compréhensions ne sont que du sucre syntaxique pour les appels à filter/map/flatMap, et les implémentations de ces méthodes ont tendance à être fortement polymorphes. Ainsi, ce qui semble être des boucles de foration relativement simples peut entraîner des effets polymorphiques vraiment impressionnants.