type-families, Seitenzahl 1

Typfamilien sind die Haskell-Spracherweiterung, um die Programmierung auf Typenebene durch Ad-hoc-Überladung von * Datentypen * zu erleichtern. Sie sind die Datenäquivalente von Typklassen (die das Überladen von Funktionen erlauben).

Antwort

Haskell-Typ-Familienanwendungen werden nicht ausgewertet

Ich habe eine interessante Situation gefunden, wenn ich Datenarten mit Typfamilien verwende. Die Fehlermeldung des Compilers lautet No instance for (C (ID ())) arising from a use of W . Es deutet darauf hin, dass eine Anwendung der Typfamil...

16.09.2014, 16:32

Antworten

Gibt es eine Möglichkeit, GHC davon zu überzeugen, dass diese (injektive) Familie injektiv ist?

Ich habe mit GHC's DataKinds herumgespielt und versucht, binäre Nats vom Typ-Level zu implementieren. Sie sind einfach genug zu implementieren, aber wenn ich möchte, dass sie in häufigen Fällen nützlich sind, dann muss GHC glauben, dass die Suc...

14.01.2018, 15:21

Antworten

Musterübereinstimmung bei Funktionen auf der Typ-Ebene ist möglich, aber nicht auf der Werte-Ebene, warum ist dieser Unterschied?

In this < Ein Artikel von SPJ, auf Seite 3 und 4, steht geschrieben: %Vor% und: Die Klassendeklaration führt jetzt eine Typefunktion Ref (mit a angegebene Art) neben den üblichen Wertfunktionen wie newRef (jeweils mit einem bestim...

31.12.2015, 08:48

Antworten

Endlosschleife für Typreduzierung

Mein Ziel ist es, () von Begriffen wie folgt zu eliminieren: %Vor% Und das ist der Code: %Vor% Aber probiere es aus: %Vor% ... führt zu einer Endlosschleife im Typchecker. Ich denke, die If type Familie sollte sich um irreduzib...

08.09.2016, 16:37

Antwort

Typ Familienpolymorphie

Also habe ich eine Funktion apply :: proxy tf -> tf Int -> tf Int , die einen Proxy übernimmt, der eine Typfamilie enthalten soll, und wendet Int auf diese Typfamilie an, um den Typ des zweiten Arguments und den Rückgabewert zu bestimmen...

24.04.2015, 19:53

Antworten

Geschlossene Typfamilien und seltsame Funktionstypen

Tut mir leid, ich könnte mir keinen besseren Titel für die Frage vorstellen, also lies bitte weiter. Stellen Sie sich vor, dass wir eine geschlossene Familie haben, die jeden Typ auf die entsprechende Maybe abbildet, außer vielleicht selbst:...

29.10.2014, 22:12

Antwort

Warum konnte der Compiler den Typ 'a == a' nicht mit '' True 'für die Typfamilie vergleichen?

Gibt es einen Grund, warum dieser Code nicht kompiliert wird: %Vor% mit Fehler: %Vor% Aber wenn ich die Typ-Familien-Definition in ändere %Vor% es ist gut zusammengestellt? (ghc-7.10.3)

03.02.2016, 08:15

Antwort

Nominale Rollen und Datenfamilien

Ich verstehe, warum die neuen Rollensysteme und Annotationen Typ (und Daten) Familienparameter in der Rolle nominal . Also habe ich erwartet, als ich erklärt habe %Vor% Das ty und a würden nominal Rollen erhalten. (Mein aktue...

28.08.2014, 02:33

Antworten

Warum überprüft diese Haskell-Codetaste fundeps, erzeugt aber bei Typfamilien einen unantastbaren Fehler?

Gegebene Typdefinitionen: %Vor% ... und diese Typklasse: %Vor% ... diese (im Sinne eines minimalen Beispiels höchst konstruierte) Funktionsdefinitionen typecheck: %Vor% Wenn wir jedoch eine Typfamilie anstelle einer Klasse mit einer...

10.12.2017, 00:53