Suchergebnisse für Anfrage "type-inference"
Skalatyp-Inferenz auf einen existenziellen Typ
Betrachten Sie den folgenden Codeausschnitt, der eine reduzierte Version meines ursprünglichen Problems ist:
Typenunterschiede für Verschlüsse und Funktionen in Rost
Warum ist es möglich, die Argumenttypen und den Rückgabetyp für einen Abschlussausdruck abzuleiten, während dies für eine Funktion in Rust nicht möglich ist?
Threads und Delegierte - Ich verstehe ihre Beziehungen nicht ganz
Ich habe einen Code geschrieben, der ungefähr so aussieht: Thread t = new Thread(() => createSomething(dt, start, finish) ); t.Start();Und es funktioniert (manchmal fühlt es sich fast so an, als gäbe es mehrere Threads). Aber ich benutze keine ...
Ableiten der Rufsignatur eines Lambdas oder eines beliebigen Aufrufs für "make_function"
In einigen Situationen ist es wünschenswert, in der Lage zu sein, eine aufrufbare Instanz (z. B. Funktion, Funktionszeiger, Objektinstanz mit
Was ist die Monomorphismusbeschränkung?
Ich bin verwirrt darüber, wie der Haskell-Compiler manchmal Typen ableitet, die weniger polymorph sind als erwartet, zum Beispiel bei der Verwendung von punktfreien Definitionen. Es scheint, dass das Problem die "Monomorphismus-Einschränkung" ...
Warum leitet Scala den Typ nicht aus generischen Typparametern ab?
Angenommen, diese Funktion def func[A](data: List[A], mapper: A => String) = { data.map(item => mapper(item)) }Warum dieser Code nicht kompiliert: val list = List(1, 2, 3) func(list, a => a.toString)Aber dieser macht: val list = List(1, 2, 3) ...
Gibt es einen Nachteil bei der Deklaration von Variablen mit auto in C ++?
Es scheint, dassauto war eine ziemlich wichtige Funktion, die in C ++ 11 hinzugefügt wurde und anscheinend vielen neueren Sprachen folgt. Wie bei einer Sprache wie Python habe ich keine explizite Variablendeklaration gesehen (ich bin nicht ...