Module, Class, and Resource Iteration (Was: Re: Module-system requirements)

[Stephane Epardaud]

I don't know if it's assumed or not but it's very useful for frameworks.
In Ceylon we have that ability to iterate loaded modules, their packages
and those packages' types, possibly filtered by annotations or
predicates such as supertypes.

I don't think it's very useful to add not-yet-loaded modules in the
list, though.

As for inexpensive listing of classes, if the reflection API provides us
with a means to load types given a predicate (annotation, supertype)
then it can check those types without loading the classes, pretty much
like all frameworks do with third-party scanners nowadays.