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

J>Я специально оставил все стилистические вопросы за скобками, чтобы исследовать глубину и проработанность надстройки нового формата языка над стандартными шаблонами. Является ли она целостной и если нет, что осталось чтобы добить.

Это не вопрос стиля, это вопрос применимости данного подхода:

http://coliru.stacked-crooked.com/a/535db5b8699e7bf6

auto factorial(auto t)
{
   return t ? t * factorial(t - 1) : decltype(t){1}; // error: use of 'auto factorial' before deduction of 'auto'
}

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

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

J>Я специально оставил все стилистические вопросы за скобками, чтобы исследовать глубину и проработанность надстройки нового формата языка над стандартными шаблонами. Является ли она целостной и если нет, что осталось чтобы добить.

Это не вопрос стиля, это вопрос применимости данного подхода:

http://coliru.stacked-crooked.com/a/535db5b8699e7bf6

auto factorial(auto t)
{
   return t ? t * factorial(t - 1) : decltype(t){1}; // error: use of 'auto factorial' before deduction of 'auto'
}

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