¿Cuáles son las alternativas al subtipo de polimorfismo en scala?

Question

Me interesa conocer el conjunto completo de alternativas al polimorfismo de subtipo en scala.

Answer 1

Las herramientas básicas para el de lograr polimorfismo estáticamente comprobable en Scala son

• Subtipificación (BOG-estándar polimorfismo OO)
• Tipo de parametrización (permite la variación polimórfica y limitaciones)
• Auto-tipificación (permite la restricción y especialización del polimorfismo de OO)
• Conversión implícita (permite la construcción polimórfica posfacto)
• Mecanografía estructural (permite poli morfismo basado en características, en lugar de tipo)
• límites tipo general (permitiendo limitaciones extremadamente precisas sobre polimorfismo permitido)
• patrón de coincidencia (permite polimorfismo basado en la estructura de datos, similar a los tipos de datos abstractos) tipos kinded-Superior
• (permitiendo polimorfismo sobre construcciones polimórficas)

Llamar a todas estas 'alternativas' es probablemente la palabra incorrecta, ya que están muy bien integradas. No es raro que algunos algoritmos polimórficos se expresen mediante el uso de varias de estas herramientas en conjunto.

También vale la pena señalar el lugar de las comprensiones en el polimorfismo de Scala. Porque las comprensiones no parecen particularmente polimórficas. Debajo de la superficie, las comprensiones son solo azúcar sintáctico para llamadas a filter/map/flatMap, y las implementaciones de esos métodos tienden a ser altamente polimórficas. Por lo tanto, lo que parece ser comparativamente simple para bucles puede dar lugar a algunos efectos polimórficos realmente impresionantes.