Здравствуйте, Erop, Вы писали:

E>3) Ещё Александреску конечно очень хорошо показал, что шаблоны C++ можно использовать как очень плохую и неудобную и практически неолаживаемую версию языка Prolog. Но совсем не раскрыл тему "зачем так извращаться?" Может лучше пролог заботать да и писать макеты на нём, ну а в реализации это всё скорее всего не нужно будет

Ээ, простите, а где там пролог?
Ленивый, чисто функциональный язык есть, но вот пролог