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

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

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

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