¿Cuál fue el motivo para restringir la combinación de parámetros implícitos y límites de vista/contexto?

Question

One of the recent commits a Scala maestro elimina la restricción al combinar límites de contexto/vista con parámetros implícitos. Esa es una gran mejora que reduce la cantidad de repetición, pero ¿cuál fue el motivo de hacer esa restricción antes, y qué consecuencias podemos esperar ahora?

Answer 1

El contexto y los límites de vista añaden parámetros implícitos. Así que si usted escribe:

def f[T : Manifest](l: List[T])(implicit ord: Ordering[T]) 

Hay, de hecho, dos parámetros implícitos que se pasa en lugar de uno. Permitir este tipo de sintaxis sin duda dará lugar a un poco de confusión en el camino. A medida que el uso de parámetros implícitos comienza a generalizarse, debido a las clases de tipos, es útil poder hacer algo como lo anterior.