It doesn't matter if you or I see what makes it impossible.
It's a fact that:
- Super large software tends to be C or C++
- One of the unique features of C and C++ is the way software is organized (headers and separate compilation).
- Attempts to bring other languages' approach to modules to C++ have been a complete disaster.
Hence it's an empirical fact that C and C++ have a superior approach to software scaling, and that approach is headers and separate comp. And a preprocessor with macros.
> Hence it's an empirical fact that C and C++ have a superior approach to software scaling
I'm not convinced the "superior" follows. What I'm missing is a causal link between your first and second points - super large software could have been written in C or C++ for reasons other than the header/implementation split (especially if the super large software wasn't so super large at first and grew into its size instead of being planned for that size from the start), and somewhat conversely programming languages with header/implementation splits don't necessarily have corresponding super large software (e.g., OCaml, at least publicly?).
It's a fact that:
- Super large software tends to be C or C++
- One of the unique features of C and C++ is the way software is organized (headers and separate compilation).
- Attempts to bring other languages' approach to modules to C++ have been a complete disaster.
Hence it's an empirical fact that C and C++ have a superior approach to software scaling, and that approach is headers and separate comp. And a preprocessor with macros.