Suchergebnisse für Anfrage "type-inference"

4 die antwort

Wie man Typparameter "extrahiert", um eine andere Klasse zu instanziieren

Der folgende Scala-Code funktioniert: object ReducerTestMain extends App { type MapOutput = KeyVal[String, Int] def mapFun(s:String): MapOutput = KeyVal(s, 1) val red = new ReducerComponent[String, Int]((a: Int, b: Int) => a + b) val data ...

2 die antwort

Warum kann diese generische Methode mit gebundenem Code einen beliebigen Typ zurückgeben?

Warum wird der folgende Code kompiliert? Die MethodeIElement.getX(String) gibt eine Instanz vom Typ @ zurüIElement oder von Unterklassen davon. Der Code imMain class ruft das @ agetX(String) Methode. Der Compiler erlaubt es, den Rückgabewert in ...

2 die antwort

Kann der Funktionstyp durch Inferenz definiert werden?

Scala Typinferenz ist wirklich nett und es ist leicht, sich daran zu gewöhnen, Dinge nicht zweimal schreiben zu müssen. Je mehr es schmerzt, wenn Sie müssen. Ein Beispiel hierfür sind Funktionstypen. Manchmal möchte ich einen benannten Typ für ...

TOP-Veröffentlichungen

2 die antwort

Strange Swift numbers type casting

Mir ist gerade aufgefallen, dass Swift Int und Double in irgendeiner Form umwandelt. Wenn ich versuche zu bewerten (10 / 3.0) - (10 / 3)0.333... wird erwartet, aber es ist eigentlich0.0. Könnte das bitte jemand erklären?

2 die antwort

In Scala, warum kann `_` hier nicht in groupBy verwendet werden?

Ich versuche, die Vorkommensliste jedes Zeichens in einem Wort zu berechnen. Mein aktueller Code sieht folgendermaßen aus: "hello" .groupBy((x:Char)=>x) .map(a=>(a._1, a._2.length))Ich denke der.groupBy((x:Char)=>x) sieht ungeschickt aus und ...

4 die antwort

Java-Typinferenz: Referenz ist in Java 8 nicht eindeutig, aber nicht in Java 7

Sagen wir, wir haben 2 Klassen. Eine leere KlasseBase und eine Unterklasse dieser KlasseDerived. public class Base {} public class Derived extends Base {} Dann haben wir ein paar Methoden in einer anderen Klasse: import java.util.Collection ...

8 die antwort

Ist Julia dynamisch getippt?

Viele Blogs und dasmanual selbst [https://docs.julialang.org/en/v1/manual/types/#man-types-1], sag, dass Julia @ idynamisch getippt [http://en.wikipedia.org/wiki/Type_system#Dynamic_type-checking_and_runtime_type_information] . Aber nach dem ...

1 die antwort

Die Typinferenz einer Funktion in GHCi unterscheidet sich vom Laden aus einer Datei

Ich habe eine Funktion geschriebenadd' imtest.hs: add' = \x y -> x + yDann habe ich geladentest.hs in GHCi (Version 7.8.3) und eingegeben:t add' um zu sehen, welcher Typadd' ist. Das Ergebnis sieht falsch aus: *Main> :t add' add' :: Integer -> ...

1 die antwort

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?

2 die antwort

Unterschiede in der Typinferenz JDK8 javac / Eclipse Luna?

Ich versuche, ein Projekt auf Java8 umzustellen, und stoße auf merkwürdige Unterschiede zwischen der Typinferenz von Eclipse Luna und javac. Mit JDK 1.7.0_65 kann dieser Code problemlos kompiliert werden. JDK 1.8.0_11 beklagt, dass sowohl ...