> I love how rust does interfaces (traits) and allows implementing outside the type.

Then it might be interesting for you that Rust copied this (like a few other things) from Haskell, where they are (somewhat confusingly) called type classes.