Dmitry Ponyatov
как думаете, в каком релизе C++ в compile time встроят Haskell?
или сегодняшние извращения с синтаксисом и символьными вычислениями на машине типов никого особо не пугают?
Насколько я понимаю, его уже встроили - метапрограммирование в чистом виде term reduction.
В смысле
template<class T> class Z { тело };
template<int> class Z { тело_int };
практически то же самое, что
z t = тело
z "int" = тело_int
просто в С++ синтаксис убойный.
К сожалению, SFINAE сильно портит эту картину. И, конечно, то, что у метапрограммирования есть состояние в "friends".