I think that's the reason dynamic languages work because guessing types is easy for people. Guessing meaning is the hard part.