Als «type-inference» getaggte Fragen

Gesperrt . Diese Frage und ihre Antworten sind gesperrt, da die Frage nicht zum Thema gehört, aber historische Bedeutung hat. Derzeit werden keine neuen Antworten oder Interaktionen akzeptiert. Nach einer Diskussion mit Kollegen über die Verwendung des Schlüsselworts 'var' in C # 3 fragte ich...

Ich habe Probleme beim Navigieren in der Java-Regel zum Ableiten generischer Typparameter. Betrachten Sie die folgende Klasse mit einem optionalen Listenparameter: import java.util.Collections; import java.util.List; public class Person { private String name; private List<String>...

Ich habe ein Array, das besteht AnyObject. Ich möchte darüber iterieren und alle Elemente finden, die Array-Instanzen sind. Wie kann ich in Swift überprüfen, ob ein Objekt von einem bestimmten Typ

Ich habe das neue autoSchlüsselwort verwendet, das im C ++ 11-Standard für komplizierte Vorlagen verfügbar ist. Ich glaube, es wurde dafür entwickelt. Aber ich benutze es auch für Dinge wie: auto foo = std::make_shared<Foo>(); Und skeptischer für: auto foo = bla(); // where bla() return a...

Ich benutze Xcode 6 Beta 6. Das nervt mich schon seit einiger Zeit, aber es erreicht einen Punkt, an dem es jetzt kaum noch verwendbar ist. Mein Projekt hat eine anständige Größe von 65 Swift-Dateien und ein paar überbrückte Objective-C-Dateien (die wirklich nicht die Ursache des Problems...

Ich habe eine generische Funktion, die einen Webdienst aufruft und die JSON-Antwort zurück zu einem Objekt serialisiert. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /*...

Es scheint, dass dies autoeine ziemlich wichtige Funktion war, die in C ++ 11 hinzugefügt wurde und die vielen neueren Sprachen zu folgen scheint. Wie bei einer Sprache wie Python habe ich keine explizite Variablendeklaration gesehen (ich bin nicht sicher, ob es mit Python-Standards möglich ist)....

Gemäß der Scala-Sprachspezifikation : ... lokale Typinferenz ist zulässig, um die Komplexität der abgeleiteten Grenzen [der Typparameter] zu begrenzen. Minimalität und Maximalität von Typen müssen relativ zu der Menge von Typen mit akzeptabler Komplexität verstanden werden. Was sind in der...

Ich arbeite an einer Vervollständigungsfunktion (Intellisense) für C # in Emacs. Die Idee ist, dass, wenn ein Benutzer ein Fragment eingibt und dann über eine bestimmte Tastenkombination nach Abschluss fragt, die Abschlussfunktion .NET Reflection verwendet, um die möglichen Abschlüsse zu ermitteln....

Ich bin auf eine merkwürdige Situation mit statischen generischen Methoden gestoßen. Dies ist der Code: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Wie kommt es,...

Ich sehe hier einige interessante Diskussionen über statische und dynamische Typisierung. Ich bevorzuge im Allgemeinen die statische Typisierung aufgrund der Überprüfung des Kompiliertyps, besser dokumentierten Codes usw. Ich stimme jedoch zu, dass sie den Code überladen, wenn sie beispielsweise so...

Beim Schreiben von Code für eine andere Antwort auf dieser Site bin ich auf diese Besonderheit gestoßen: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled exception: java.lang.Exception }

Ich bin neu in Haskell und habe den Fehler "Ich kann keinen unendlichen Typ konstruieren", den ich nicht verstehen kann. Darüber hinaus konnte ich keine gute Erklärung dafür finden, was dieser Fehler überhaupt bedeutet. Wenn Sie also über meine grundlegende Frage hinausgehen und den Fehler...

Ich erhalte die folgende Fehlermeldung, wenn ich versuche, eine RecycleViewID zu finden . Fehler: - Typinferenz fehlgeschlagen: Nicht genügend Informationen, um auf Parameter T zu schließen Code: class FirstRecycleViewExample : AppCompatActivity() { val data =

Dieses Programm wird in Java 7 (oder in Java 8 mit -source 7) problemlos kompiliert, kann jedoch nicht mit Java 8 kompiliert werden: interface Iface<T> {} class Impl implements Iface<Impl> {} class Acceptor<T extends Iface<T>> { public Acceptor(T obj) {} } public class Main...

Ich bin verwirrt darüber, wie der Haskell-Compiler manchmal Typen ableitet, die weniger polymorph sind als erwartet, beispielsweise wenn punktfreie Definitionen verwendet werden. Es scheint, dass das Problem die "Monomorphismus-Einschränkung" ist, die bei älteren Versionen des Compilers...

Viele Blogs und das Handbuch selbst sagen, dass Julia dynamisch getippt ist . Aber nach dem Lesen des Handbuchs klingt es für mich eher so, als wäre es statisch mit Typinferenz wie F # typisiert . Ist Julia statisch mit Typinferenz typisiert? Ist es dynamisch getippt? Ich gehe davon aus, dass es...

Die verwendete Methodenreferenz hat den Rückgabetyp Integer. Im Stringfolgenden Beispiel ist jedoch eine Inkompatibilität zulässig. Wie kann die Methodendeklaration withkorrigiert werden, um den Methodenreferenztyp ohne manuelles Casting sicher zu machen? import

Wir alle wissen, dass Long sich ausdehnt Number. Warum wird dies nicht kompiliert? Und wie definiert man die Methode withso, dass das Programm ohne manuelle Umwandlung kompiliert wird? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number...

Die Implementierung von std::mem::dropist wie folgt dokumentiert: pub fn drop<T>(_x: T) { } Als solches würde ich erwarten, dass der Verschluss |_| ()(umgangssprachlich als Toilettenverschluss bezeichnet ) ein potenzieller 1: 1-Ersatz für dropbeide Richtungen ist. Der folgende Code zeigt...