Suchergebnisse für Anfrage "type-inference"

2 die antwort

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" ...

2 die antwort

Implementierung des Inferenzalgorithmus nach Damas-Hindley-Milner

Ich suche informationen über die bekannten Damas-Hindley-Milner-Algorithmus [https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system], um Inferenzen für funktionale Sprachen zu erstellen, insbesondere Informationen ...

10 die antwort

Warum kann der C # -Konstruktor nicht auf den Typ schließen?

Warum wird Typinferenz für Konstruktoren nicht so unterstützt wie für generische Methoden? public class MyType<T> { private readonly T field; public MyType(T value) { field = value; } } var obj = new MyType(42); // why can't type inference ...

TOP-Veröffentlichungen

6 die antwort

Collections.emptyList () gibt eine Liste <Object> zurück?

Ich habe Probleme beim Navigieren in Javas Regel, um auf generische Typparameter zu schließen. Betrachten Sie die folgende Klasse mit einem optionalen Listenparameter: import java.util.Collections; import java.util.List; public class Person ...

4 die antwort

Gibt es in C ++ / CLI eine Entsprechung zum C # -Var-Schlüsselwort?

In C # gefällt mir das

2 die antwort

Code, der Typinferenz ausübt

Ich arbeite an einer experimentellen Programmiersprache mit globaler polymorpher Typinferenz. Ich habe kürzlich den Algorithmus so gut funktionieren lassen, dass er die Bits des Beispielcodes, die ich darauf wirfe, korrekt eingibt. Ich suche ...

1 die antwort

F # Möglichkeiten zur Eingabe von Inferenzen?

1 die antwort

Funktionsweise von Typinferenz bei funktionalen Abhängigkeiten

4 die antwort

Listen mit Literalen fester Länge und Typ

Ich versuche in Haskell einen Typ für Listen mit fester Länge zu definieren. Wenn ich die Standardmethode verwende, um natürliche Zahlen als unäre Typen zu codieren, funktioniert alles einwandfrei. Wenn ich jedoch versuche, alles auf den ...

10 die antwort

Warum ist die Summe x y vom Typ (Num a) => a -> a -> a in Haskell?

Ich habe über Haskell gelesen und es fällt mir schwer zu verstehen, wie Funktionsdefinitionen in dieser Sprache behandelt werden. Sagen wir, ich definiere einsum Funktion: let sum x y = x + ywenn ich Haskell nach seinem Typ frage :t sumIch ...