Haskell'in herhangi bir dil uzantısı veya dil torunu var mıdır, özellikle de örnek olarak ifade etmenin yararı? Zaman zaman

Question

, ben, Haskell yalnızca yani örnek kafaları maçları "özelliği" girmek

instance (a ~ NewDataTyp b) => C a 

şimdi olacak bir hatadır Programda C başka örneği beyanı yazarken yani, herhangi bir türünü maç olacak, içeriği çakışması nedeniyle a ~ NewDataTyp b bağlamından dolayı çakışamaz. Bazen, üstesinden gelmek için çok çaba harcanır; Bu sınırlamayı önlemek için yüzlerce satır kod yeniden yapılandırmak zorunda kaldım.

Anlamlılık için daha yüksek önceliğe sahip herhangi bir dil uzantısı veya alt yazı dili (Curry? Agda?) Var mı? Bu muhtemelen (a) typeclass dünyasının açıklığını (b) polinom zamanın yazımını kestirebilir.

düzenlemek - Söz ilgilenenler için bu sayfada, ilgi olabilir: Ne olursa olsun için http://www.haskell.org/haskellwiki/Future_of_Haskell

Answer 1

Scala sadece yazdıklarını daha çok veya daha az edebi çeviri kabul eder. Ne kadar kullanışlı olduğundan emin değilim. [Beklediğinizden daha fazla sorunlara] açık dünya varsayımı Çıkarma

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]]