Я можу побачити в документах API для Predef, що вони є підкласами типу загальної функції (From) => To, але все це говорить. Гм, що? Можливо, десь є документація, але пошукові системи не дуже добре обробляють такі імена, як "<: <", тому я не зміг її знайти. Подальше запитання: коли я …
Наведу приклад: У мене є загальне визначення класу / інтерфейсу: interface IGenericCar< T > {...} У мене є ще один клас / інтерфейс, який я хочу пов'язати з класом вище, наприклад: interface IGarrage< TCar > : where TCar: IGenericCar< (**any type here**) > {...} В принципі, я хочу , щоб …
У мене є такий метод із загальним типом: T GetValue<T>(); Я хотів би обмежити T до примітивних типів, таких як int, string, float, але не класу. Я знаю, що можу визначити загальний для типу класу так: C GetObject<C>() where C: class; Я не впевнений, чи можливо це для примітивних типів …
Я намагаюся створити тип, схожий на Руста Resultабо Хаскелла, Eitherі у мене це далеко: 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 operator …