Ich versuche einen Typ zu erstellen, der dem von Rust Resultoder Haskell ähnelt, Eitherund ich bin so weit gekommen: public struct Result<TResult, TError> where TResult : notnull where TError : notnull { private readonly OneOf<TResult, TError> Value; public Result(TResult result) =>...
Ich habe diese Funktion in einem Projekt mit DTO-Klassen (Data Transfer Object) aktiviert, wie unten angegeben: public class Connection { public string ServiceUrl { get; set; } public string? UserName { get; set; } public string? Password { get; set; } //... others } Aber ich bekomme den Fehler:...
Nachdem ich diese Frage auf HNQ gelesen hatte, las ich weiter über nullable Reference Types in C # 8 und machte einige Experimente. Ich bin mir sehr bewusst, dass 9 von 10 oder noch öfter, wenn jemand sagt "Ich habe einen Compiler-Fehler gefunden!" Dies ist eigentlich beabsichtigt und ihr eigenes...
In einem C # 8-Projekt mit aktivierten nullfähigen Referenztypen habe ich den folgenden Code, der meiner Meinung nach eine Warnung vor einer möglichen Null-Dereferenzierung geben sollte, aber nicht: public class ExampleClassMember { public int Value { get; } } public struct ExampleStruct {...
Das Naturgesetz besagt: t . traverse f == traverse (t . f) -- for every applicative transformer t Wenn nun für die RHS des Gesetzes f den Typ hat Applicative a => x -> a y, muss t (Applicative a, Applicative b) => a y -> b yaufgrund der Funktionszusammensetzung vom Typ sein . Für die...
Eine Funktion von Rollen sind Rollengruppen, mit denen Sie mehrere Rollen mit demselben Namen deklarieren können, die unterschiedliche Parameter akzeptieren, ähnlich wie bei mehreren Routinen: role Foo[Int:D] { method is-int(::?CLASS:_: --> True) { } method is-str(::?CLASS:_: --> False) { } }...
Ich habe das so verstanden wie: type GenericExample<T> = T extends (infer U) ? U : 'bar'; entspricht: type GenericExample<T> = T extends T ? T : 'bar'; Aber wenn die Dinge aufwändiger werden, beschwert sich TypeScript: type Types = 'text' | 'date' | 'articles' | 'params'; type...
Ich versuche, die Assoziativität von Listen auf Typebene so zu beweisen, dass ich zwischen äquivalenten Typen konvertieren kann, ohne Einschränkungen mitzunehmen. Angenommen, die Standarddefinition der Verkettung: type family (++) (xs :: [k]) (ys :: [k]) :: [k] where '[] ++ ys = ys (x ': xs) ++ ys...