The Haskell's Stackage people has some interesting discussions about this on their lists. (Caring about types too, obviously.)

TLDR, it doesn't change much, what means it doesn't create a lot of problems, but doesn't really solve any either. Versioning is a humane concept, and you can't solve it with pure tech, you'll always need guidelines and procedures.