Учитывая, что Cat is a подкласс Animal, должен List<Cat> также быть подклассом List<Animal> ? Что вы думаете? Должен ли List<Cat> быть List<Animal> ? Что такое Function<? super T, ? extends U> в Java? Понимание концепции дисперсии - ключ к ответу на эти два, казалось бы, разных вопроса. Ковариация Разве не было бы замечательно, если бы везде, где принимается List<Animal> , можно было бы сдать и List<Cat> ? Но возникнут ли..

Чтобы действительно изучить и освоить мощь Haskell, вам нужно забыть все, что вы знали об императивном программировании (да, действительно, обо всем) и строить на совершенно другом фундаменте. Как насчет: main = do putStr "What is your name?" a <- readLn putStr "How old are you?" b <- readLn print (a,b) Это совершенно необходимо ^^: main = do x <- pop pop push x То же самое ^^, и много кода..

Недавно я опубликовал сообщение в блоге о Datatype99 , библиотеке, реализующей типы сумм на чистом C99 только с макросами препроцессора. Сегодня я собираюсь представить его новую возможность метапрограммирования: самоанализ типов суммы во время компиляции, также только с макросами препроцессора. Прежде всего, что такое интроспекция типов? Для наших целей самоанализ типа означает поиск и манипулирование представлением типа: представьте на секунду, что вы можете собрать все варианты..

Отказ от ответственности: если вы изучаете Rust, отнеситесь к этому с недоверием. Я тоже изучаю Rust и могу ошибаться в своих предположениях. Чем больше я читаю и занимаюсь Rust, тем больше понимаю, что Rust состоит из двух (трех, если считать макросы) языков. Один из них — это средний язык программирования, который опытный программист может выучить за неделю, плюс месяц или два для стандартной библиотеки и стандартных наборов. Он описывает приятные вещи, такие как циклы, сопоставление..