В любом городе, да и в любой старшей школе, это бы назвали издевательством над ребенком. Быть может, это и так, но данный случай был особым: мальчика не окружают обидные надписи на столе, его школьные принадлежности не трогают, его не бьют и не преследуют, как это обычно делают с такими ребятами. Он просто всегда находится один, и в его адрес иногда поступают грубые насмешки. У него нет друзей или кого-нибудь, кому можно было бы позвонить. И в этой ситуации, со всеми незначительными ежедневными притеснениями, у него не было никого, кто бы мог ему помочь. Но наперекор всей ежедневной жестокости этот ученик продолжал посещать школу изо дня в день...

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