> -- Александр Ильин писал(а):
> "retrievable" не имеет отношения к загрузке модулей. Здесь речь о получении списка (уже) загруженных модулей в ран-тайм, плюс базовой метаинформации о них. XDS этому пункту соответствует, но все модули линкует статически (кроме DLL).

Забавно, не думал что расхождение в формулировках и понимании столь глубоко

Вот "официальный" перевод этого фрагмента на русский:
> -- Цитата:
> 3) Модули и по крайней мере их экспортированные процедуры (команды) и экспортированные типы должны быть доступны динамически.

Ни про метаинформацию, ни про список загруженных модулен. Ничего вообще.

"доступны динамически" лично я интерпретировал, как: мы имеем право получить доступ к тому чего небыло на этапе компиляции. Т.е. мы можем сказать LoadModule("MyModule") (т.е. на этапе компиляции мы конечно знаем это самое слово -- MyModule, но о самом модуле ни сном ни духом), и затем у этого самого модуля дернуть пару-тройку процедур, ака команд.

Т.о. про метаинформацию нет ничего (кроме разве что имен модулей (а эта метаинформация может быть просто в имени файла модуля) и сигнатур процедур-команд), зато про загрузку модулей есть вполне:

> -- Цитата:
> 3) Modules and at least their exported procedures (commands) and exported types must be retrievable dynamically.

Вот этот пункт целиком + перевод:
> -- Цитата:
> 3) Modules and at least their exported procedures (commands) and exported types must be retrievable dynamically. If necessary, this may cause modules to be loaded. The programming interface used to load modules or to access the mentioned meta information is not defined by the language, but the language compiler needs to preserve this information when generating code.Except for fully linked applications where no modules will ever be added at run-time, a linking loader for modules is required. Embedded systems are important examples of applications that can be fully linked.

> -- Цитата:
> 3) Модули и по крайней мере их экспортированные процедуры (команды) и экспортированные типы должны быть доступны динамически. В случае необходимости это может вызывать загрузку модулей. Программный интерфейс, используемый для загрузки модулей или для доступа к указанной мета-информации, не определяется языком, но компилятор должен сохранять эту информацию при генерации кода.За исключением полностью слинкованных приложений, в которых при исполнения не нужно загружать никакие модули, для модулей требуется динамический загрузчик. Встроенные системы являются важными примерами приложений, которые могут быть полностью слинкованы.