types

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

Wie schreibe ich stark def nicht-primitive Typen?

Beachten Sie das folgende Programm, in dem eine Funktion sowohl den erwarteten Typ als auch einen Typ akzeptiert, der ein typedef dieses Typs ist. %Vor% Wie Sie sehen, unterscheidet ein typedef nicht wirklich einen neuen Typ. Ich dachte stat...
21.04.2014, 22:35
5
Antworten

Ermittelt abgeleiteten Typ über die virtuelle Funktion der Basisklasse

Ich versuche, den abgeleiteten Typ eines Objekts über eine virtuelle Funktion der Basisklasse zu erhalten. Ich habe das geschrieben, was nicht kompiliert: %Vor% ... gibt mir eine Fehlermeldung, dass: Ich kann derived& nicht von base...
21.10.2013, 18:20
2
Antworten

Kann die Seq / par / view / force von Scala collection als Verletzung des Uniform-Return-Type-Prinzips angesehen werden?

Der größte Teil der Komplexität der Implementierung des Collection-Frameworks ergibt sich aus der Tatsache, dass Scala im Gegensatz zu C # 's LINQ oder anderen Collection-Frameworks den "besten" Collection-Typ für Funktionen höherer Ordnung zurü...
17.06.2011, 18:18
2
Antworten

Regexp-Typ für den Abschlusscompiler

Ich füge derzeit type Annotation zu einem persönlichen JavaScript-Modul hinzu, aber ich bin derzeit fest, wenn ich versuche, die Funktion zu nehmen, indem ich eine regexp als Parameter nehme, aber keiner der folgenden Versuche funktioniert: %V...
01.06.2012, 15:54
5
Antworten

Größe der Datentypen für Actionscript 3

Wer kennt keine guten Ressourcen oder persönlichen Erfahrungen, die erklären, wie viel Speicher (und SWF-Größe) die verschiedenen integrierten Datentypen in ActionScript 3 belegen? Ich interessiere mich speziell für int , Number und (dicht)...
18.02.2010, 21:45
1
Antwort

Verwenden von 'erfüllt' mit 'und' in Common Lisp

Ich habe Google Common Lisp Style Guide gelesen (siehe den letzten Abschnitt), das dort zu finden ist ist ein Fehler im Common Lisp-Standard bezüglich and als Typspezifizierer. Nämlich, dass es nicht "Kurzschluss", oder äquivalent, diese Re...
21.04.2015, 10:00
2
Antworten

Verhalten von Naturalien auf Typenniveau in GHC 7.8

Wenn Vektoren nach ihrer Länge indiziert werden sollen, können Sie Folgendes tun: %Vor% In ghc 7.8 hatte ich gehofft, dass dies mit den neuen Literalen veraltet würde , aber die direkte Konvertierung ist ungültig: %Vor% Leider gibt dies...
14.05.2014, 21:19
2
Antworten

Verwendung des Vergleichs in GHC.TypeLits

Ich hatte Probleme mit GHC.TypeLits . Betrachten Sie die folgende GADT: %Vor% Mein Verständnis war, dass jetzt für jeden n der Typ Foo n genau einen Wert enthält (entweder SmallFoo oder BigFoo, abhängig vom Wert von n ). Aber we...
05.09.2013, 21:28
5
Antworten

printf und% llu vs% lu auf OS X [duplizieren]

Warum ist auf meinem 64-Bit-Mac (ich verwende Clang) der uint64_t -Typ unsigned long long , während bei 64-Bit-Ubuntu der uint64_t -Typ unsigned long ist? Das macht es sehr schwierig für mich, meine printf -Aufrufe dazu zu b...
28.12.2012, 18:15
3
Antworten

Wie überprüfe ich, ob ein Iterable mehr als einen Durchgang erlaubt?

Wie kann ich in Python 3 überprüfen, ob ein Objekt ein Container ist (und nicht ein Iterator, der nur einen Durchgang erlaubt)? Hier ist ein Beispiel: %Vor% Offensichtlich funktioniert die Funktion renormalize , wenn sie einen Generator...
24.01.2012, 20:04