> ...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 P

> ...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_on_invalidations https://viralinstruction.com/posts/latency/#a_brief_primer_o... It's not a net gain, but rather a different tradeoff.