Недавно я обнаружил очень удивительное поведение в С#. У меня был метод, который принимает IEnumerable<Object> в качестве параметра, и я передавал IEnumerable<string> , но это невозможно. В то время как в С# все можно преобразовать в...

Мне сложно понять разницу между ковариацией и контравариантностью.

Я только начинаю читать о теории категорий и был бы очень признателен, если бы кто-нибудь мог объяснить связь между контравариантностью/ковариантностью CS и теорией категорий. Какими могут быть некоторые примеры категорий (т.е. каковы их...

Сегодня я прочитал несколько статей о ковариантности, контравариантности (и инвариантности) в Java. Я читал статьи в Википедии на английском и немецком языках, а также некоторые другие сообщения в блогах и статьи IBM. Но я все еще немного не...

private Dictionary<Type, List<IDataTransferObject>> dataStore = new Dictionary<Type, List<IDataTransferObject>>(); public void Insert<T>(T dto) where T : IDataTransferObject { if (!dataStore.ContainsKey(typeof(T)))...

Я только что узнал в своем классе языков программирования, что «контравариантные типы аргументов на самом деле были бы безопасными, но они не были сочтены полезными и, следовательно, не поддерживаются в практических языках». Несмотря на то, что они...

В настоящее время я пытаюсь создать общий интерфейс, в котором каждый (общий) класс, производный от него, будет иметь метод, принимающий делегата, который принимает параметр типа и возвращает другой класс того же типа, только с другим параметром типа....

Рассмотрим следующие фрагменты кода public static <T> String typeName1(Class<T extends Object> c) { return c.getSimpleName(); } public static String typeName2(Class<? extends Object> c) { return...

Я знаю, что это может показаться повторяющимся вопросом, но я озадачен тем, как работают инвариантность, ковариантность и контравариантность. Я не могу понять, почему я не могу скомпилировать этот фрагмент: class Test<X:...

Я пытаюсь реализовать некоторую функцию в суперклассе, поэтому мне не нужно всегда повторять ее в своих дочерних элементах. Образец: trait Animal { def applyF(transition: Animal => Animal): Animal = transition(this) // Animal as param and...

Я работаю над приложением веб-API ASP.NET Core 2.2 с Mediatr. У меня есть обработчик, который выглядит так - public class MyQueryHandler<T> : IRequestHanlder<MyQuery<T>, IQueryable<T>> { public...

В течение долгого времени я пытался понять полезность входных и исходящих параметров в связи с дженериками в C #, и я просто не могу вбить это в голову (я знаю, как часто этот вопрос задают в StackOverflow). Я обычно понимаю, что такое ковариация и...

Рассмотрим следующий код: public class Main { static class Animal {} static class Dog extends Animal {} static List<? extends Animal> foo() { List<Dog> dogs = new ArrayList<>(); return dogs; }...

Эта запись Reddit Эдварда Кметта дает конструктивное определение естественная карта , та, что из теоремы о свободе для fmap (которую я прочитал в еще одном сообщение Эдварда Кметта ): Для заданных f , g , h и k таких, что f . g = h...