Als «typechecking» getaggte Fragen

11
Wie finden Sie den Typ eines Objekts heraus (in Swift)?
Wenn Sie versuchen, ein Programm zu verstehen, oder in einigen Fällen, ist es hilfreich, tatsächlich herauszufinden, um welchen Typ es sich handelt. Ich weiß, dass der Debugger Ihnen einige Typinformationen anzeigen kann, und Sie können sich normalerweise auf Typinferenz verlassen, um nicht den Typ in solchen Situationen anzugeben, aber dennoch …
3
Überprüfung des Klassentyps in TypeScript
In ActionScript ist es möglich, den Typ zur Laufzeit mit dem Operator is zu überprüfen : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true Ist es möglich zu erkennen, ob eine Variable (erweitert oder) eine bestimmte Klasse oder Schnittstelle …
3
Geben Sie Anmerkungen für * args und ** kwargs ein
Ich probiere Pythons Typanmerkungen mit abstrakten Basisklassen aus, um einige Schnittstellen zu schreiben. Gibt es eine Möglichkeit, die möglichen Arten von *argsund mit Anmerkungen zu versehen **kwargs? Wie würde man zum Beispiel ausdrücken, dass die sinnvollen Argumente für eine Funktion entweder ein intoder zwei ints sind? type(args)gibt Tupleso meine Vermutung …
8
Java: Instanceof und Generics
Bevor ich meine generische Datenstruktur nach dem Index eines Werts durchsuche, möchte ich sehen, ob es sich überhaupt um eine Instanz des Typs handelt, thisfür den parametrisiert wurde. Aber Eclipse beschwert sich, wenn ich das tue: @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; } …
1
Warum funktioniert der "Constraint-Trick" in dieser manuell definierten HasField-Instanz nicht?
Ich habe diesen (zugegebenermaßen seltsamen) Code, der Objektiv und GHC verwendet. Aufzeichnungen : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just …
1
"Illegale" Implementierung der generischen Methode: Warum erhalte ich keinen Kompilierungsfehler?
Ich habe eine Schnittstelle, die eine Methode mit dieser Signatur enthält: <P extends MergeProperty<T> & RestartApplicant> List<P> loadPropertiesFrom(T p1, T p2); Grundsätzlich MergePropertyhandelt es sich um eine Klasse, die NICHT implementiert wird RestartApplicant, und RestartApplicanteine funktionale Schnittstelle, die eine Methode enthält, die für das Verständnis dieses Problems nicht wirklich wichtig …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.