type-inference

4Hitze

1Antwort

Java 8 Generics Die Methode ... ist nicht anwendbar für die Argumente in Eclipse

Während der Migration unserer Codebasis von Java 1.7 zu 1.8 haben wir eine Fehlermeldung "Die Methode ... ist nicht anwendbar für die Argumente "an mehreren Codestellen, die alle dem gleichen Muster i

generics java-8 language-lawyer type-inference ecj 2016-07-14

---

1Hitze

2Antwort

Warum verursacht dies den Fehler CS4011: Argumente vom Typ können nicht aus der Verwendung abgeleitet werden?

Ich habe folgendes Beispiel. class Program { static void Main(string[] args) { var varc = new C(); // Error CS0411 var varf1b = varc.F1(t => new { City = t.City }, (t, v) => v +

c# generics type-inference 2016-07-22

---

1Hitze

2Antwort

Wie funktioniert die Funktion `<$` in der Functor-Klasse?

In der Functor Klassendefinition wir die <$ Funktion definiert haben: class Functor f where fmap :: (a -> b) -> f a -> f b (<$) :: a -> f b -> f a (<$) = fmap . const Die const Fu

haskell types type-inference function-composition pointfree 2016-07-24

---

1Hitze

1Antwort

Wie verwendet man Typinformationen aus dem Mustervergleich?

Ich habe folgendes Setup: trait TypeA { override def toString() = "A" } trait TypeB { override def toString() = "B" } trait TypeC { override def toString() = "C" } def foo[T](t: T) = println(t)

scala generics reflection type-inference 2016-08-03

---

2Hitze

2Antwort

C# Methodenauflösung mit generischer und typischer Inferenz

Ich war heute überrascht wie die Methodenauflösung funktioniert. Hier ist der Code als exemple: class Program { static class Mapper<TSource, TTarget> { public static void Map<TMember>

c# generics type-inference method-resolution-order 2016-06-16

---

7Hitze

2Antwort

Warum gibt Swift null-coalescing ein Optional zurück?

Zuerst versuche ich eine [String?] Kartierung, erhalten eine [String]: $ xcrun swift Welcome to Apple Swift version 2.2 (swiftlang-703.0.18.8 clang-703.0.30). Type :help for assistance. 1> impor

swift type-inference 2016-08-05

---

0Hitze

1Antwort

Wie macht man die Inferenz von Scala, die stark genug ist, um generische Typparameter zu entdecken?

Unter der Annahme, dass ich eine Funktion, die implizite TypeTag definiert nimmt: es def andOptionFn[A: TypeTag](g: Int => Option[A]) = { val ttg = ScalaReflection.universe.typeTag[A] printl

scala type-inference type-erasure 2016-06-18

---

2Hitze

1Antwort

Typ-Inferenz für polymorphe Rekursion kodiert als Modul Rekursion

Standard-ML hat keine polymorphe Rekursion. Das Hinzufügen einer Rekursion zu der Modulsprache ermöglicht es uns, polymorphe Rekursion als Spezialfall wiederherzustellen, wobei Fixpunkte von endofunct

recursion polymorphism sml type-inference ml 2016-06-25

---

1Hitze

1Antwort

Infer generische Typargument von Parameter Art der Funktion in Typoskript

Ich möchte eine toPlainObject() Funktion in Typoskript erstellen und haben mit diesem Arbeitsbeispiel kommen: function toPlainObject<S extends D, D>(source: S) { return JSON.parse(JSON.stringify(

generics typescript type-inference generic-programming 2016-06-29

---

4Hitze

1Antwort

Mehrdeutige Referenz auf Element &&

Wenn ich mit diesem Snippet berechnen möchte, ob alle Bool s in der Liste true sind, warum werden die Typen nicht korrekt abgeleitet? let bools = [false, true, false, true] let result = bools.reduce(

swift type-inference reduce 2016-07-02

---