Suchergebnisse für Anfrage "type-inference"

1 die antwort

Wie definiere ich Fallklassen mit Elementen mit ungebundenen Typparametern?

4 die antwort

Scala: Rückkehr hat ihren Platz

Verweise:Scala-Return-KeywordFehlerbehandlung in Scala-ControllernEDIT3Dies ist die "endgültige" Lösung, wiederum dank Dan Burton.

3 die antwort

Grundlegendes zu Fehlern bei der F # -Werteinschränkung

Ich verstehe nicht, wie die Wertebeschränkung in F # funktioniert. Ich habe die Erklärung in der gelesenwiki ebenso wieMSDN-Dokumentation. Was ich nicht vers...

TOP-Veröffentlichungen

4 die antwort

Java - Generics vs Casting-Objekte

ich habe ein klasse

2 die antwort

Unvollständige Typunterschrift

Nehmen wir an, wir haben eine Funktion wie f unten, die eine Monade zurückgibt. Wo Sie jedoch sehen

2 die antwort

'auto'-Spezifizierertyp-Abzug für Referenzen

Betrachten wir das folgende Code-Snippet

3 die antwort

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

2 die antwort

C ++ 11 Auto- und Funktionsrückgabetypen

Ich kenne den Unterschied zwischen

3 die antwort

Sind unendliche Typen (auch rekursive Typen genannt) in F # nicht möglich?

Ich unterhielt mich mitSadek Drobi auf Twitter, wenn darauf hingewiesen wird, dass F # Infinite Types nicht zu unterstützen scheint. Es stellt sich heraus, d...

3 die antwort

Konvertieren von OCaml in F #: Unterschiede zwischen der Eingabe und der Typinferenz

In der ForschungTypinferenz Unterschiede zwischen F # und OCaml, auf die sie sich tendenziell konzentriertenNominativ gegenstrukturelle Typ System. Dann habe...