This is only a problem if the tooling to track dependencies doesn't exist. Many programming models (e.g. monomorphization as done in C++ and Rust) are fundamen

This is only a problem if the tooling to track dependencies doesn't exist. Many programming models (e.g. monomorphization as done in C++ and Rust) are fundamentally incompatible with dynamic linking. The tooling needs to handle those cases anyway.