type-constraints, Seitenzahl 1

Constraints können einem Typparameter eines generischen Objekts zugeordnet werden. Constraints deklarieren Elemente, die von einem konkreten Typ unterstützt werden müssen, der an diesen Parameter in einer Konstruktion des generischen Typs übergeben wird.

Antworten

Können Sie eine Instanz einer Klasse nicht für einen Typ, sondern für eine ganze Klasse in Haskell erstellen?

Angenommen, ich möchte alle Zahlen zu einer Instanz von Monoid machen. Anstatt für jedes Num eine Instanz wie folgt erstellen zu müssen: %Vor% Gibt es so etwas? %Vor% Bearbeiten Einige antworten mit GHC-Erweiterungen und warnen...

24.09.2015, 19:10

Antworten

Generische Einschränkungen für die Funktion

Ich möchte eine generische Funktion schreiben, die eine Einschränkung für den Typ hat. Speziell möchte ich so etwas: %Vor% Der Punkt ist, dass Sie überprüfen können, ob sich ein Element in einer Parameterliste befindet: %Vor% Der Compile...

25.09.2010, 17:00

Antworten

Warum wird NullableT als Struktur und nicht als Klasse betrachtet?

Ich versuche, eine generische Klasse zu definieren, die einen beliebigen Typ verwendet, der auf null gesetzt werden kann: %Vor% Das funktioniert gut. Ich möchte auch eine abgeleitete Klasse erstellen, die jeden primitiven Typ (int, double, u...

14.12.2013, 21:57

Antworten

Erweiterungsmethoden für bestimmte generische Typen

Ich versuche, verschiedene Erweiterungsmethoden für einen generischen Typ zu erstellen, der an bestimmte generische Typparameter in F # gebunden ist, aber die Sprache scheint es mir nicht zu erlauben: Was ich machen möchte, ist etwas wie da...

07.10.2009, 13:15

Antworten

Beschränken Sie den Typparameter auf einen Basistyp

Ich weiß, wie man einen Typparameter zu einem Subtyp eines anderen Typs macht: %Vor% Gibt es eine Möglichkeit, einen Typparameter zu einem Supertyp eines anderen Typs zu zwingen? %Vor% Momentan muss ich T1 und T2 zur Laufzeit mit Is...

03.09.2013, 15:45

Antworten

Untertyp in Scala: Was ist "Typ X: Y"?

Kann jemand den Subtyp (& lt; :) im folgenden Code erklären? Warum könnte es so benutzt werden? Wenn wir das benutzen? Danke. %Vor%

11.12.2013, 00:56

Antwort

C # 4.0 dynamisch: Eine mögliche performante Lösung für numerische Generika?

Nachdem ich selbst auf dieses Problem gestoßen bin und versucht habe, ein generisches Vector2<int/float/double> in C # zu implementieren, habe ich eine Reihe von Untersuchungen zu diesem Problem durchgeführt, die auch in dieser Frage be...

16.02.2011, 07:58

Antwort

Gleichheit bei Einschränkungen

Grundsätzlich, wenn {-# LANGUAGE PolymorphicKinds, ConstraintKinds, TypeFamilies #-} (und mehr, falls erforderlich) gegeben ist, arbeitet der Operator (~) type-level mit Ausdrücken auf Typ-Ebene vom Typ Constraint ? Ich habe versucht, di...

08.03.2012, 18:28

Antworten

Warum sind Typbeschränkungen nicht Bestandteil der Methodensignatur?

Also las ich Eric Lipperts "Constraints sind nicht Teil der Signatur" , und jetzt verstehe ich, dass die Spezifikation spezifiziert, dass Typ-Constraints NACH der Überladungsauflösung geprüft werden, aber ich bin mir immer noch nicht sicher, wa...

25.02.2012, 03:21

Antworten

Enum? erweitert die Schnittstelle

Ich versuche, eine Sammlung von Enums zu haben, die eine gemeinsame Schnittstelle erweitern, also etwas wie: %Vor% und verwenden Sie dies an anderer Stelle, indem Sie beide erzwingen, dass eine Variable Enum ist und die Schnittstelle imple...

10.08.2012, 21:35