On 6 September 2017 at 17:26, Guido van Rossum <guido@python.org> wrote:

Is there a real use case for @property? Otherwise, if we're going to mess with module's getattro, it makes more sense to add __getattr__, which would have made Nathaniel's use case somewhat simpler. (Except for the __dir__ thing -- what else might we need?)

One additional (IMO quite strong) argument in favor of module level __getattr__ is that this is already used by PEP 484 for stub files and is supported by mypy, see https://github.com/python/mypy/pull/3647