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

_>И только Covariant returns штука хорошая, даст возможность выкинуть куски повторяющегося и тупого кода.

Согласен, covariant returns единственное, что радует. В меньшей степени можно и init свойства сюда отнести. А вот вместо всего остального лучше сделали бы варианты как в немерле и запилили квазицитаты, а то до генераторов дошли, а до квазицитат не додумались, хотя казалось бы, есть успешный пример применения перед глазами — Expression, ну и еще до кучи typedef как том же немерле или С++.

После этого и top-level declaration можно было бы представлять как вишенку на торте.