For Inko (https://inko-lang.org/ https://inko-lang.org/) I went a step further: it generates an object file for each type, instead of per source file or per pro

For Inko (https://inko-lang.org/ https://inko-lang.org/) I went a step further: it generates an object file for each type, instead of per source file or per project. The idea is that if e.g. a generic type is specialized into a new instance (or has some methods added to it), only the object file for that type needs to be re-generated. This in turn should allow for much more fine-grained incremental compilation. The downside is that you can end up with thousands of object files, but for modern linkers that isn't a problem.