Was about to comment in a similar fashion. One more example of a language who has embraced this: Clojure Protocols, polymorphism, dynamic dispatch (i.e. multi-methods) and immutability baked in.