As someone else noted below, it's also like "static typing lite." It has most of the advantages of static typing with much less of the bookkeeping involved.
ML-style languages go much further with this, while also having richer type systems that both let you write code more easily and do more compile-time safety verifications.
