> monorepos can only work well when there is a mechanical tool for ensuring correctness and that refactorings can be done atomically across the whole tree Isn'

> monorepos can only work well when there is a mechanical tool for ensuring correctness and that refactorings can be done atomically across the whole tree Isn't a compiler such a tool? I use a statically typed language, and if I would try to do this: > everything can reach everything else then there'll be compilation errors.