Es posible "curry" tipos más amables en Scala?

Question

Jun 06, 2011, 06:38 AM

Supongamos que tengo un rasgo con dos parámetros de tipo, por ejemplo,

trait Qux[A, B]

y otro rasgo con un parámetro de tipo de tipo superior, por ejemplo,

trait Turkle[C[_]]

Me gustaría poder sustituir un valor fijo por uno de los parámetros de tipo paraQux, para que pueda usarse para parametrizarTurkle.

Aquí hay un ejemplo (¡de código que no tiene sentido en Scala!):

trait Baz[A] extends Turkle[Qux[A, _]]

¿Alguien tiene alguna idea de cómo lograr este efecto?

Respuestas a la pregunta(4)

Añadir columna a los resultados de la consulta SQL

git - ¿Es posible excluir archivos de `git push`, pero mantenerlos en el repositorio local?

MySQL enfoques de fragmentación?

El uso de la cláusula no se puede llamar a Dispose?

Permitir cualquier cosa a través de la política de CORS