![КПДВ с примерами кода][1] Шаблоны C++ — полный по Тьюрингу язык, на котором можно писать compile-time программы. Только вот синтаксис рассчитан на описание параметризованных типов и слабо приспособлен к ясному выражению чего-то более сложного. В этой статье рассмотрим, как типы и шаблоны становятся значениями и функциями, а также узнаем, к чему привела попытка автора создать свой функциональный язык, транслирующийся в шаблоны C++. Для прочтения текста знания в области функционального программирования почти не требуются.
[Читать дальше →][2]

[1]: https://habrastorage.org/web/14f/b2b/c94/14fb2bc947ec47788192892c9553a44e.png "Факториал, написанные математически (сверху), на шаблонах C++ (посередине) и на описываемом в статье языке (снизу)"
[2]: https://habrahabr.ru/post/337590/?utm_source=habrahabr&utm_medium=rss&utm_campaign=feed_posts#habracut