[slavapestov]

> This has tradeoffs: increased ABI stability at the cost of longer compile times.

Nah. Slow type checking in Swift is primarily caused by the fact that functions and operators can be overloaded on type.

Separately-compiled generics don't introduce any algorithmic complexity and are actually good for compile time, because you don't have to re-type check every template expansion more than once.

[fingerlocks]

You’re absolutely right. I realized this later but it was too late to edit the post.

[choeger]

Separate compilation also enables easy parallelization of type checking.