Меня часто спрашивают: «Какой язык программирования нужно знать?» Этот вопрос неверный. Профессиональному программисту одного языка программирования точно не хватит. Их надо знать несколько. Поэтому правильный вопрос: «С какого языка начать?» На этот вопрос ответить очень легко, потому что в качестве языка для начинающих сейчас остался только один. Лет тридцать назад в качестве языка для начинающих фигурировало несколько языков: Кроме того, в разное время для новичков рекомендовались такие экзотические языки как: Пролог, Лисп и Ада. Что же мы имеем сейчас? Несмотря на то, что были разработаны сотни языков программирования, есть устойчивая тенденция к сокращению числа используемых языков...

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