Программистов заносим в Красную Книгу

Пролетело тут в сендере (читал архивы, чего понаписали за время моего пребывания в Москве). Обращаю внимание, это сеть компьютерного факультета, далеко не самого худшего вуза страны.

Наткнулся тут на несколько строчек описания характеристик языка программирования:
===
возможность использования лямбда-абстракции;
функции высшего порядка;
недопустимость побочных эффектов (чистота языка);
ленивые вычисления (lazy evaluation);
сопоставление по образцу, функциональные образцы (pattern matching);
параметрический полиморфизм и полиморфизм классов типов;
статическая типизация;
автоматическое выведение типов (основано на модели типизации Хиндли — Милнера);
алгебраические типы данных;
типы данных с параметрами;
рекурсивные типы данных;
абстрактные типы данных (инкапсуляция);
списочные включения (list comprehensions);
использование охраны (guards);
возможность писать программы с побочными эффектами без нарушения парадигмы функционального программирования с помощью монад;
возможность интеграции с программами, реализованными на императивных языках программирования посредством открытых интерфейсов.
===
Люди, а мы вобще кто, типа программисты???

Ответом ему было молчание. Из всего факультета таким вопросом задался только один человек (регулярно меня выспрашивает по всякой всячине в программировании). Даже не знаю, как это расценивать, в контексте нынешней системы образования и состояния IT. Наверное положительно, потому что такие люди пока еще есть.