¿Hay alguna extensión de idioma o descendiente de idioma de Haskell que favorezca la expresividad, especialmente en el manejo de instancias?

Question

A veces, me encuentro con la "característica" que Haskell sólo coincide con cabezas de instancia, a saber,

instance (a ~ NewDataTyp b) => C a 

ahora coincidirá con cualquier tipo que sea, es decir, escribir otra declaración de la instancia de C en su programa se es un error, incluso si no puede posiblemente conflicto debido al contexto a ~ NewDataTyp b. A veces, se necesita un gran esfuerzo para superar; He tenido que reestructurar cientos de líneas de código para evitar esta limitación.

¿Existen extensiones de idioma o idiomas descendientes (Curry? Agda?) Diseñados con una mayor prioridad para la expresividad? Esto podría posiblemente sacrificar (a) la apertura del mundo de clase de clase (b) la comprobación de tipo de tiempo polinomial.

edición - para aquellos interesados ​​en la cuestión, esta página también puede ser de interés: http://www.haskell.org/haskellwiki/Future_of_Haskell

Answer 1

Por lo que vale la pena, Scala acepta la traducción más o menos literal de lo que acaba de escribir. No estoy seguro de lo útil que es.

trait C[T] 
case class NewDataType[T]() 

implicit def letItBeInjectiveWhyNot[K[_],T]: K[T] =:= K[T] 

implicit def cIsh[A,S](implicit ev: A =:= NewDataType[S]): C[A] 
implicit def another: C[Int] 

implicitly[C[NewDataType[String]]] 
implicitly[C[Int]]