types

Fragen
Typen und Typsysteme werden verwendet, um Abstraktionsstufen in Programmen zu erzwingen.
2
Antworten

Warum konvertiert Scala Char implizit in Int?

Wenn ich scala's Predef -Objekt anschaue, das automatisch importiert wird, habe ich folgendes Juwel %Vor% Dies hat dazu geführt, dass sich einige schmutzige Fehler in meinen Code eingeschlichen haben (verwendet _1 anstelle von _2...
26.09.2009, 18:26
1
Antwort

Warum sind typsichere relationale Operationen so schwierig?

Ich habe versucht, ein relationales Problem in Haskell zu kodieren, als ich herausfinden musste, dass dies auf eine Art und Weise sicher ist, ist alles andere als offensichtlich. Z.B. eine bescheidene %Vor% wirft bereits eine Reihe von Frage...
02.05.2015, 08:35
1
Antwort

Abhängig eingegebene Warteschlange in Haskell

Ich habe versucht, meine eigene Frage zu Beispielen zu beantworten, die die Erweiterung PolyKinds in GHC verwenden und kam auf ein konkreteres Problem. Ich versuche, eine Warteschlange zu modellieren, die aus zwei Listen aufgebaut ist: der Kop...
29.12.2011, 10:13
1
Antwort

Wie werden C99-Standardtypen für maximale Portabilität UND Effizienz auf den meisten Plattformen verwendet?

Erstens, hier ist, was ich verstehe und denke, was für die Frage wahr ist. Verwenden Sie schnelle Datentypen für einzelne Variablen wie Zähler oder for loop-Indizes. Zum Beispiel: %Vor% Ich denke, der geeignetste Typ hier ist uint_f...
03.04.2013, 17:32
1
Antwort

{"error": {"message": "(# 324) Erfordert Uploaddatei", "type": "OAuthException", "code": 324}}

%Vor% Meine App unterstützt die einmalige Anmeldung für Facebook. Ich möchte keine Dialoge verwenden. Immer wenn ich versuche, ein Bild und eine Nachricht in einem Anhang zu posten, fange ich: %Vor%     
15.03.2013, 09:39
2
Antworten

Python-Typsystem - Objekt vs. Typ

Ich bin neu in Python. Ich bin vertraut mit Java, C / C ++ und OCaml. Ich verstehe Lambda Calculus und Elementartheorie wegen eines Programmiersprachenkurses, den ich an der Universität nahm. Bewaffnet mit diesem Hintergrund habe ich versucht...
23.11.2012, 03:46
1
Antwort

Warum serialisiert Gson den Runtime-Typ in der Liste, nicht den Typ der Kompilierungszeit?

Warum scheint Gson die verschachtelte generische Typdeklaration beim Serialisieren zu ignorieren? Ich versuche, Gson dazu zu bringen, den von mir spezifizierten Typ der Kompilierzeit anstelle des Laufzeittyps der Objekte in der Liste zu verwe...
01.08.2015, 00:32
1
Antwort

Ist es möglich, 'min' in eine normalisierende Theorie wie System-F oder den Kalkül von Konstruktionen einzugeben?

Diese min -Definition arbeitet an zwei Kirchennummern und gibt am wenigsten groß aus. Jede Zahl wird zu einer Fortsetzung, die ihr pred zum anderen schickt, zig und zag, bis Null erreicht ist. Darüber hinaus hängt eine der Zahlen jedes Mal, w...
18.11.2015, 19:26
1
Antwort

Deserialisieren Sie abgeleitete Typen im WCF-Service als Basistypen, behalten Sie jedoch Typinformationen bei

Ich möchte, dass mein Service von BaseType abgeleitete Typen akzeptieren und zurückgeben kann, ohne zu wissen, was diese Typen sind. Ich habe fast eine Lösung mit einem benutzerdefinierten DataContractResolver basierend auf dem SharedType...
09.04.2013, 12:51
2
Antworten

Referenztyp mit teilweise qualifiziertem Namespace

Ist es möglich, Java-Typen mit einem teilweise qualifizierten Namen zu referenzieren? Wenn ja, wie? Das Szenario: Ich finde mich häufig mit einer Datenklasse (z. B. Activity ), die eine Sicht benötigt. Meine übliche Praxis war es, diese Kla...
23.04.2012, 03:13