Сегодня мой друг Стефан, который занимался разработкой компиляторов в университете (у меня такого курса не было), сказал такую вещь: "Шаблоны в С++ по своей выразительности срисованы с Пролога". И я прозрел. Я хорошо понимал Пролог в институте, но связать с шаблонами не мог. Оказалось что они очень и очень похожи. И для того, чтобы показать это, мы сейчас напишем сортировку в compile-time. Основной языка Пролог является механизм сопоставления с шаблоном (pattern matching), поэтому сортировка Хоара...

На этот момент уже больше 8 тыс. языков программирования и нехитро собственно что почти все из их уже стали неактуальными. В наши деньки программирование развивается гораздо скорее, и языки, животрепещущие лет 40-30, а то и 20 обратно, уже всецело стали неактуальными...