Suchergebnisse für Anfrage "type-inference"
Wie gehe ich mit dem Typensystem auf Haskell bequem um?
Haskells Typensystem ist mächtig und beliebt für seine mathematische Genauigkeit und logische Solidität. Auf der anderen Seite frage ich mich, warum es nicht so funktioniert, wie es von der Intuition erwartet wird. Z.B. warum kann nichtInt zu @ ...
Tipp für SML-Typinferenz
Ich bin neu in SML und versuche, die SML-Typreferenz zu üben. Ich versuche, die folgenden Typen abzuziehen: a)fun add42 x =x+42 b)fun comp F G = let fun C x = G(F(x)) in C end c)fun compA42 x = comp add42 x d)val foo = compA42 add42 e)fun ...
Erwarteter Typparameter, gefunden u8, aber der Typparameter ist u8
trait Foo { fn foo<T>(&self) -> T; } struct Bar { b: u8, } impl Foo for Bar { fn foo<u8>(&self) -> u8 { self.b } } fn main() { let bar = Bar { b: 2, }; println!("{:?}", bar.foo()); ...
Gibt es einen Nachteil bei der Deklaration von Variablen mit auto in C ++?
Es scheint, dassauto war eine ziemlich wichtige Funktion, die in C ++ 11 hinzugefügt wurde und anscheinend vielen neueren Sprachen folgt. Wie bei einer Sprache wie Python habe ich keine explizite Variablendeklaration gesehen (ich bin nicht ...
TypeScript Typ Inferenz Problem
Ich verwende TypeScript mit dem Treiber MongoDB node.js. Beachten Sie, dass dies keine Mongo-Frage ist, sondern nur der spezielle Anwendungsfall für dieses Problem, das ich habe. Ziemlich viel verwendet jeder Mongo-Anruf ein Muster von(arg1, ...
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" ...
Warum kann nicht der richtige Typ gelesen werden?
n Haskell kann ich einen Haskell-Wert aus einer Zeichenfolge mit @ erstelleread. Prelude> read "1" + 3 4Ich kann nutzenfst um das erste Element zu erhalten Prelude> fst (1,2) 1 Ich erhalte jedoch eine Fehlermeldung, wenn ich @ kombinieread ...
Ein besonderes Merkmal der Exception-Typ-Inferenz in Java 8
Während ich Code für eine andere Antwort auf dieser Site geschrieben habe, bin ich auf diese Besonderheit gestoßen: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: ...
Warum funktioniert diese Typinferenz mit diesem Lambda-Ausdrucksszenario nicht?
Ich habe ein seltsames Szenario, in dem die Typinferenz nicht wie erwartet funktioniert, wenn ein Lambda-Ausdruck verwendet wird. Hier ist eine Annäherung an mein reales Szenario: static class Value<T> { } @FunctionalInterface interface Bar<T> { ...
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 ...