Suchergebnisse für Anfrage "type-inference"
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" ...
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 ...
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 ...
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 ...
Gibt es in C ++ / CLI eine Entsprechung zum C # -Var-Schlüsselwort?
In C # gefällt mir das
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 ...
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 ...
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 ...