One advantage I can think of is that it lets you program in a duck-typing style without having to really think about it, but still get static checks.