Eu posso ver nos documentos da API do Predef que são subclasses de um tipo de função genérica (From) => To, mas é tudo o que diz. Hum o que? Talvez haja documentação em algum lugar, mas os mecanismos de pesquisa não lidam com "nomes" como "<: <" muito bem, …
Deixe-me dar um exemplo: Tenho algumas definições genéricas de classe / interface: interface IGenericCar< T > {...} Tenho outra classe / interface que quero relacionar com a classe acima, por exemplo: interface IGarrage< TCar > : where TCar: IGenericCar< (**any type here**) > {...} Basicamente, quero que meu IGarrage genérico …
Estou tentando criar um tipo semelhante ao de Rust Resultou Haskell Eithere cheguei até aqui: public struct Result<TResult, TError> where TResult : notnull where TError : notnull { private readonly OneOf<TResult, TError> Value; public Result(TResult result) => Value = result; public Result(TError error) => Value = error; public static implicit …