types

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

Was bedeutet Javas Typparameter Wildcard wirklich? Was ist der wahre Unterschied zwischen Foo und Foo?

Für eine generische Schnittstelle: %Vor% Der Unterschied zwischen den beiden Feldern: %Vor% Ist das foo2 ein generischer Typ und foo nicht? Da ? ein Platzhalter ist (was ich denke, jeden Typ) und jeder Typ ist ein Untertyp von O...
07.03.2012, 01:56
3
Antworten

Ist es möglich, einen gemeinsamen Supertyp auf Typ-System-Ebene in Scala zu finden?

Ist es möglich, in Scala einen Typ-Alias ​​(oder etwas Äquivalentes) zu erstellen, der zwei Parameter akzeptiert und ihren gemeinsamen Supertyp zurückgibt? Mit anderen Worten, ich versuche etwas mit dieser Signatur zu finden: %Vor% wo diese...
04.11.2011, 20:24
1
Antwort

Wie vergleicht man den Inhalt eines eigenen Vektors mit einem statischen Vektor in Rust?

Als Teil eines Tests möchte ich behaupten, dass eine Funktion einen Vektor mit dem richtigen Inhalt zurückgibt. Ich habe daher die erwarteten Daten als statische Variable zur Verfügung gestellt. Ich kann jedoch keine geeignete Methode finden, um...
07.05.2013, 19:38
2
Antworten

So emulieren Sie einen abhängigen Typ in Scala

Ich versuche einen generischen Restklassenring in Scala zu definieren. Ein Restklassenring wird durch irgendeinen Basisring (z. B. die ganzen Zahlen) und einen Modul (z. B. zwei) definiert, der ein Wert aus dem Basisring ist. Beide Ringe und ihr...
14.10.2010, 10:20
2
Antworten

Inkompatible Klassen von Java-Generics

Es scheint, ich stecke wieder mit Java-Generika fest. Hier ist was ich habe: Paar Klassen: class CoolIndex implements EntityIndex<CoolEntity> class CoolEntity extends BaseEntity Enum mit Klassen oben: %Vor% Funktion I...
26.04.2016, 15:17
3
Antworten

Warum kann Scala in diesem Beispiel nicht auf den Typparameter schließen?

Angenommen, ich habe zwei Klassen, Input und Output , die so konzipiert sind, dass sie miteinander verbunden sind. Output erzeugt Werte eines Typs und Input verwendet sie. %Vor% Es ist in Ordnung, wenn ein Paar Input und Outp...
26.07.2009, 19:07
1
Antwort

Kann ich meine lokale Schriftart in Chrome deaktivieren?

Ich arbeite an einem System, das immer mit der google Schrift laden, aber ich kann nicht sehen, wenn die Schrift nicht geladen ist, weil ich all diese Schrift lokal habe (für Photoshop), so dass die Schrift auf meinem Computer gut aussieht ....
23.01.2014, 15:33
1
Antwort

Existenzielle Typen in Scala

Etwas verwirrend über existentielle Typen. Das funktioniert für mich: %Vor% aber das nicht: %Vor% In meinen Augen entsprechen beide Ausdrücke: %Vor% Aber Scala sagt, dass es nur in meinen Gedanken ist: %Vor%     
23.08.2013, 06:48
2
Antworten

Einschränkungen impliziter Typisierung

In seinem Buch bezieht sich Jon Skeet auf 7 Einschränkungen impliziter Typisierung. Ich brauche Klarheit über die letzten beiden: A. Der Typ, den die Variable haben soll, ist der Kompilierzeittyp des Initialisierungsausdrucks. B. Der Ini...
23.05.2012, 18:50
3
Antworten

Wie kann ich eine Funktion erstellen, die einen unbekannten Parameter in C akzeptiert?

Sagen Sie, ich habe den folgenden Code: %Vor% ... wo get_t ist: %Vor% Wie kann ich den obigen Code umgestalten und in eine Funktion einfügen? Etwas wie das Folgende: %Vor%     
17.05.2011, 09:30