Post #741459

A new Rust language design post from boxy (my ???): https://www.boxyuwu.blog/posts/an-incoherent-rust/ This is a complex topic, and as the post itself says, it is a bit "lacking in smallness". 100% worth digging into though if you're interested in #rust or the theory of programming language design. TL;DR: coherence (which is responsible for the orphan rule about trait impls) causes problems with ecosystem lock-in. If we introduce the idea of named trait impls we might be able to do away with it!