types, Seitenzahl 14

4

Antworten

Kann ein Haskell-Typkonstruktor Nicht-Typ-Parameter haben?

Ein Typkonstruktor erzeugt einen Typ mit einem gegebenen Typ. Zum Beispiel der Maybe-Konstruktor %Vor% könnte ein konkreter Typ wie Char sein und einen konkreten Typ wie Maybe Char geben. In Bezug auf Arten hat man %Vor% Meine Frage: Ist...

22.12.2016, 20:24

2

Antworten

Erstellung heterogener Typenlisten in Rust

Ich habe die folgende Definition von HList : %Vor% Wie würde ich die Typen konstruieren, indem ich sie an das Ende angehängt habe? Das Einfügen als erstes Element ist trivial: %Vor% Playground-Link Aber Elemente am Ende anzuhän...

24.10.2016, 13:28

2

Antworten

Gibt es eine Strafe für die Verwendung von char-Variablen in CUDA-Kernel?

Ich erinnere mich, dass ich den Hinweis bekommen habe, dass ich vermeiden sollte, Chars in CUDA-Kernen zu verwenden, weil die SMs 32-Bit-Ganzzahlen mögen. Gibt es eine Geschwindigkeitsbeschränkung für die Verwendung? Zum Beispiel, ist es langsam...

18.11.2014, 11:35

2

Antworten

Haskell-Datentyp Aliasnamen

Ich habe ein mathematisches Vector Modul in Haskell geschrieben. Also begann ich mit: %Vor% Fein - damit kann ich jeden beliebigen numerischen Datentyp verwenden. Das Problem ist, dass ich nicht überall Double und Vector Double s...

08.07.2012, 05:00

1

Antwort

Mit dem Haskell-Typsystem wird angegeben, dass eine Klasse zusätzliche Eigenschaften besitzt (d. h. Klassen für Typklassen).

Wenn wir eine Typklasse erstellen, gehen wir normalerweise davon aus, dass ihre Funktionen einigen Eigenschaften entsprechen müssen. Daher haben wir die Monoid- und Monad-Gesetze für ihre jeweiligen Typklassen. Aber was ist, wenn es ein Gesetz w...

30.07.2012, 20:52

2

Antworten

Sind das Typsystem durch XmlSchema und das CLS isomorph dargestellt?

Kann mir bitte jemand diese Frage erklären? Ist das Typsystem durch dargestellt? XmlSchema und der CLS isomorph? Link

13.04.2011, 12:35

1

Antwort

Was ist AllowAmboundyTypes und warum wird es in diesem "forall" Beispiel benötigt?

Der Code %Vor% kann auf GHC 8.0 mit dem Fehler nicht kompiliert werden %Vor% Wenn Sie also AllowAmbiguousTypes hinzufügen, wird der Code kompiliert. Hier sind meine Fragen: Was genau ist AllowAmbiguousTypes ? Warum muss die...

16.07.2017, 12:17

4

Antworten

Ermitteln, ob das Objekt ein PrädikatT ist

Ich habe eine IList<Delegate> , die einige Func<bool> s und einige Predicate<T> s enthält, wobei T variiert. Ich muss später herausfinden, welche dieser Elemente Predicate<T> s sind, aber ich möchte die Tür...

23.02.2010, 17:11

1

Antwort

Objektiv-C Typ Inferenz

Okay, ich habe das Gefühl, dass Sie schnell darauf hinweisen können, warum ich so verwirrt bin, aber ich habe eine Frage, warum das Folgende NICHT zu einem Compiler-Fehler oder einer Compiler-Warnung führt: %Vor% selectedObject ist ein N...

16.01.2010, 08:06

1

Antwort

Syntaxregeln für Haskell-Infix-Datentypkonstruktoren

Ich versuche, einen Haskell-Datentyp ein bisschen wie ein Python-Wörterbuch, ein Ruby-Hash oder ein JavaScript-Objekt zu machen, in dem eine Zeichenfolge mit einem Wert wie folgt verknüpft ist: %Vor% Der obige Code funktioniert einwandfrei....

18.11.2014, 17:11