Che0, компилятор понимает какие именно типы-аргументы имелись в виду. Метод Select имеет следующую сигнатуру:


Ты вызываешь его для поля People которое является IEnumerable<People>. Следовательно тип-аргумент TSource это People. Лямбда возвращает строку. Значит TResult это string. Компилятор смог "угадать" типы без дополнительтных подсказок. Поэтому можно смело использовать сокращенный вызов:


То есть в твоем примере обе строки ничем не отличаются по конечному результату компиляции.

Che0Знаю что в дженерик коллекциях явное определение типов крайне важно для производительности и безопастности.
Ты спутал несколько вещей - конструирование generic типа и его создание.

При конструировании объекта мы обязаны указать тип аргумент. Иначе компилятор не поймет какой тип нам нужен.

Вопрос производительности мы учитываем при создании generic типа. На этапе компиляции создается общая реализиция generic типа. Затем на этапе исполнения JIT-компилятор создает конкретные реализации. Для ссылочных типов реализация создается одна общая реализация. Для value типов создается своя собственная реализиция. Благодаря этому код и получается эффективным. Классический пример сравнение ArrayList и List<int>. Generic тип работает заметно быстрее из-за отсутствия упаковки/распаковки.