Gibt es Spracherweiterungen oder Sprachnachkommen von Haskell, die die Ausdruckskraft bevorzugen, insbesondere bei der Behandlung von Instanzen?

8

Manchmal stoße ich auf das "Feature", dass Haskell nur Instanzköpfe vergleicht, nämlich

%Vor%

wird jetzt mit jedem Typ übereinstimmen, dh das Schreiben einer anderen Instanzdeklaration von C in Ihrem Programm wird ein Fehler sein, auch wenn möglicherweise nicht in Konflikt mit dem / stehen kann Kontext a ~ NewDataTyp b . Manchmal ist es sehr mühsam zu überwinden; Ich musste Hunderte von Zeilen Code umstrukturieren, um diese Einschränkung zu vermeiden.

Gibt es Spracherweiterungen oder Nachkommensprachen (Curry? Agda?), die eine höhere Priorität für die Ausdruckskraft haben? Dies könnte möglicherweise opfern (a) Offenheit der Typenklassen-Welt (b) polynomielle Zeittypprüfung.

bearbeiten - Für Interessierte ist diese Seite möglicherweise auch interessant: Ссылка

    
gatoatigrado 26.01.2012, 02:56
quelle

1 Antwort

1

Was es wert ist, Scala akzeptiert die mehr oder weniger wörtliche Übersetzung dessen, was Sie gerade geschrieben haben. Ich bin mir nicht sicher, wie nützlich es ist.

%Vor%     
Owen 15.01.2013 06:27
quelle

Tags und Links

Django: Verwenden von Annotate, Count und Distinct in einem Queryset was beeinflusst Oracles Bestimmung des String-Ausdrucks-Datentyps?