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

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

__>>Однако, как в дальнейшем выяснилось, мой вариант невозможен, ибо идентификация области видимости функции по ее имени не уникальна. А изначальный вариант (и ваш его повторяющий) плох тем, что за пределами функции приходится работать с анонимным типом. Соответственно, например, нельзя просто заранее организовать контейнеры для хранения результатов вычислений функции, не говоря уже о том, что читабельность такого варианта плохая.

_NN>Ну так на то и анонимные типы.
_NN>Нужно больше, нужно создавать именованный тип.



_NN>Очень редкая ситуация когда один тип ограничен одной функцией.

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