Почему статические и динамически подключаемые библиотеки различаются?

Если оба они содержат скомпилированный код, почему мы не можем загружать "статические" файлы во время выполнения и почему мы не можем связываться с динамическими библиотеками во время компиляции ? Почему нужны отдельные форматы для содержания «автономного» кода? Что нужно сохранить в любом из них, чтобы гарантировать разницу?