With declared types programmer is still guessing the meaning and IDE doesn't care anymore.

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