> ...I still want that kind of system, but I expect it would fail catastrophically in the real world

Julia has its own version of the orphan rule called Type Piracy, which is merely discouraged instead of disallowed: https://viralinstruction.com/posts/latency/#a_brief_primer_o...

It's not a net gain, but rather a different tradeoff.